Mtodo por contraejemplo

Esta tcnica se utiliza de modo muy especfico para indicar la falsedad de

proposiciones cuya suposicin est erigida mediante un "cuantificador universal". Esto es,
se emplea para manifestar la falsedad de una proposicin que posea un cumplimiento
relatado para "todos los elementos de un cierto conjunto. Podemos indicar que para
indicar un contraejemplo en falsedad para proposiciones de este tipo, basta presentar un
elemento que satisfaga las conjeturas de la proposicin, pero que no satisfaga su desenlace.
A dicho mecanismo se le conoce con el mtodo de contraejemplo.
Es un procedimiento es muy til cuando uno se halla ante una proposicin con
cuantificador ecumnico, de la cual no se sabe si es verdica o inexistente. La primera idea
es indagar un contraejemplo. Si no se halla en una inicial coaccin, se pretender indicar su
veracidad empleando los otros sistemas o una composicin de ellos.
Ejemplos
Indicar que son FALSAS las sucesivas proposiciones:

A B =B A A, B conjuntos
a+b =a+b a, b reales
a, b reales y a =b > a =b

La conceptualizacin y ejemplos concretos de alguna de las Leyes de Inferencia Lgica

Simplificacin y Ley de la conjuncin.

1. CONJUNCIN

p, q p q
Conjuncin (C): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador
(conjuncin).
p Juan es cocinero
q Pedro es polica

p q Juan es cocinero y Pedro es polica

2. SIMPLIFICACIN (S):
Obviamente, es la operacin inversa. Si disponemos de un enunciado formado por dos
miembros unidos por una conjuncin, podemos hacer de los dos miembros dos enunciados
afirmados por separado.
p q Tengo una manzana y tengo una pera
p Tengo una manzana
q Tengo una pera

Sea
p:q)
Bibiana
aprueba
el~p)]
periodo
acadmico
q:
r:
Johanna
Johana
Tiene
los
Santiago
beneficios
de
se
enojan
la
universidad
ella
1:
2:
(~p
-->
~q)
~r)
Premisa
Conclusin:
(~q
v-->
~p)
v-->~r)
~r)
[(p
Tenemos:
-->
~q)
vy(p
(~p
vde
~p)]
-->
(~q
venojan
~r)
q.
ybeneficios
Santiago
sus
hermanos
ella
r.
pierde
los
lavbeca
beca
obtenida
en la con
Universidad

3:
(~p

r)
(pno
(p
de
(q
con
r)se
p: Bibiana aprueba el periodo acadmico
q: Johana y Santiago no se enojan con ella
r: Tiene los beneficios de beca de la universidad
Premisa 1: (p --> ~q)
Premisa 2: (~p --> ~r)
Premisa 3: (p v ~p)
Conclusin: (~q v ~r)
Tenemos:
[(p --> ~q) v (~p -->~r) v (p v ~p)] --> (~q v ~r)

p. Bibiana aprueba el periodo acadmico

q. Johanna y Santiago sus hermanos se enojan con ella
r. pierde los beneficios de la beca obtenida en la Universidad
[(p q) (~p r) (p ~p)] (q r)

Las proposiciones simples son:

p= Bibiana aprueba el periodo acadmico
q= Johanna y Santiago sus hermanos se enojan con ella
r = pierde los beneficios de la beca obtenida en la Universidad

Y las proposiciones compuestas:

a) p ---> q
b) p -->r
y la conclusin
c) q v r
Hay una proposicin que dice:
Pero, Bibiana aprueba el periodo acadmico o no lo aprueba
Es redudante e innecesaria, en lgica las proposiciones solo pueden ser verdaderas o falsas,
pvp=1
No aporta nada.
Entonces:
Si se cumple p se cumple q y por tanto se cumple q v r, ya que 1+r=1
Y si no se cumple p se cumple r y por tanto se cumple q v r, ya que q+1=1
Luego siempre se cumple q v r

Y para la tabla de la verdad la proposicin que debe ser verdadera siempre es

[(p q) (~p r) (p ~p)] (q r)
[(p q) (~p r) (p ~p)] (q r)
[(p q) ^ (~p r)] (q v r)

Y esta es la tabla.
1. Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus hermanos se
enojan con ella. Y si no aprueba el periodo acadmico, pierde los beneficios de la beca
obtenida en la Universidad. Pero, Bibiana aprueba el periodo acadmico o no lo
aprueba. Por lo tanto, Johanna y Santiago sus hermanos se enojan con ella o pierde los
beneficios de la beca obtenida en la Universidad.
Las proposiciones simples son:

p= Bibiana aprueba el periodo acadmico

q= Johanna y Santiago sus hermanos se enojan con ella
r = pierde los beneficios de la beca obtenida en la Universidad
[(p q) (~p r) (p ~p)] (q r)

pq

~p

(~p r

[(p q) ^
(~p r)]

(q v r)

[(p q) ^ (~p r)]

(q v r)

0
0
0
0
1
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
1
1

1
1
1
1
0
0
0
0

0
1
0
1
1
1
1
1

0
1
0
1
0
0
1
1

0
1
1
1
0
1
1
1

1
1
1
1
1
1
1
1

Expresin es una tautologa

La distribucin es deductiva,

Hay una proposicin que dice:

Pero, Bibiana aprueba el periodo acadmico o no lo aprueba
Es redundante e innecesaria, en lgica las proposiciones solo pueden ser verdaderas o
falsas,
pvp=1
No aporta nada.

Entonces:
Si se cumple p se cumple q y por tanto se cumple q v r, ya que 1+r=1
Y si no se cumple p se cumple r y por tanto se cumple q v r, ya que q+1=1
Luego siempre se cumple q v r
Y efectivamente se cumple,
Es una tautologa y queda demostrada la validez del argumento dado.