Documentos de Académico
Documentos de Profesional
Documentos de Cultura
- Variables : p, q, r, p 1, p 2.
- Operadores : -, ·, V, =:J, =
- Auxiliares : (, ), [, ]
- Reglas de formación :
- El hombre es mortal.
- El hombre no es mortal.
- Observamos que el elemento esencial (formal) del
juicio es precisamente esa unión o separación,
realizada a través del verbo ser que se llama cópula.
1.p→q≡﹁p∨q
2.p→q≡﹁q→﹁p
3.p∨q≡﹁p→q
4.p∧q≡﹁(p→﹁q)
5.﹁(p→q)≡p∧﹁q
6.(p→q)∧(p→r)≡p→(q∧r)
7.(p→q)∨(p→r)≡p→(q∨r)
8.(p→r)∧(q→r)≡(p∧q)→r
9.(p→r)∨(q→r)≡(p∨q)→r
- Equivalencias lógicas que involucran
bicondicionales:
1.p↔q≡(p→q)∧(q→p)
2.p↔q≡﹁p↔﹁q
3.p↔q≡(p∧q)∨(﹁p∧﹁q)
4.﹁(p↔q)≡p↔﹁q
- Las dos sentencias siguientes son lógicamente
equivalentes :
((p → q ) Λ p ) → q
-El rio tiene agua entonces me mojo si entro a él.
-Si entro en el rio me mojo.
2.- Modus Tollendo Tollens – Si tenemos una
implicación que es verdadera y su segundo termino
o conclusión es falsa entonces concluimos la
negación del primero. (por que F-F=V)
((p → q ) Λ ¬q ) → ¬p
-10 < 3 (diez menor que tres – falso) entonces 4 = 1
(cuatro igual a 1 – falso) entonces 10 > 3 (verdadero)
3.- Simplificación – Si tenemos una conjunción y
sabemos que es verdadera entonces sus
proposiciones que la componen son verdaderas.
(p Λ q ) → p, (p Λ q ) → q
-Carlos tiene un perro y un gato.
V V
-Carlos tiene un gato.
V
4.- Adición – Si tenemos algo verdadero concluimos
con la O antes o después.
p→(p V q ), q→(p V q )
-Carlos tiene un mapa.
V
-Carlos tiene un mapa oun machete.
V
-Carlos tiene un machete.
V
5.- Eliminación de la falsa en la disyunción – Si
tenemos una disyunción y sabemos que una de las
dos proposiciones es falsa podremos concluir la
otra.
((p V q) Λ ¬p)q, ((p V q) Λ ¬q) →p
-10 = 2 O como chocolate. (verdadero)
F V
-Conclusión : como chocolate.
6.- Eliminación de la verdadera en la conjunción – Si
tenemos una verdadera y la podemos eliminar y
concluimos la otra (debe existir la letra Y que une a
las dos)
((p Λ q) Λ p) →q, ((p Λ q) Λ q) →p
((p→q) Λ (q→r))→(p→r)
Solo queda : p→r
-10 es divisible por 2 entonces 10 es par. (V)
-10 es par entonces su ultima cifra es 0,2,4,6,8. (V)
-10 es divisible por 2 entonces su ultima cifra es
0,2,4,6,8. (V)
8.- Disyunción de casos – Si tenemos dos
proposiciones y cada una implica a r
entonces
concluimos r, sabiendo que la primera es verdadera.