p v q
p w q
- Condicionales
Una proposicin condicional es falsa s y slo s el antecedente es verdadero y el
consecuente es falso.
Los nexos pueden ser: ... es condicin suficiente para..., ...cuando...., ...., etc..
Ej.:
Si naci en Buenos Aires, entonces es porteo.
Simbolizacin:
p >
- Bicondicionales:
Una proposicin bicondicional es verdadera s y slo s ambos componentes tienen
el mismo valor de verdad.
Las expresiones ms usadas son ... es equivalente a ..., ... es condicin necesaria
y suficiente para....
Ej.:
Un nmero es para s y slo s es divisible por dos.
Simbolizacin:
p = q
- Negacin:
La negacin de una proposicin verdadera es falsa y viceversa.
Algunas expresiones pueden ser: no, no es cierto que, no se da el caso que,
etc..
Ej.:
No es verdad que todos los polticos son corruptos.
Simbolizacin:
-p
proposicionales
que
corresponden
Ejemplo:
Si es metal, se dilata con el calor. El oro es un metal. Entonces, se dilata con el calor.
[( p
>
q )
p ]
>
Ejemplo:
Si estudio lgica, tengo posibilidades de aprobar filosofa; y si apruebo filosofa, puedo
recibirme de bachiller. Apruebo filosofa. Por lo tanto, puedo recibirme de bachiller.
Forma de razonamiento:
Forma de Proposicin:
p > q
q > r
q
_______
r) ]
q } > r