Resumen de La Leccion 1 A 4 IPC UBA XXI 2016
Resumen de La Leccion 1 A 4 IPC UBA XXI 2016
Resumen de La Leccion 1 A 4 IPC UBA XXI 2016
No
toda oracin contiene una proposicin (La mesa blanca). Una
oracin puede expresar dos proposiciones distintas (El banco est cerca.- oracin
ambigua).
AyB
AoB
Exclusiva: se afirma que una de las proposiciones sea cierta pero se excluye que ambas lo
sean, utiliza la expresin lgica o bien (Los beatles son ingleses o bien dinamarqueses),
tambin se utiliza o si son cosas que nos se pueden dar al mismo tiempo (Respiro o
estoy muerto).
A
A o bien B
Si A entonces B
Solo si A, B
A si y slo si B
Negacin: No, Es falso que, No es cierto que, se utilizan prefijos negativos como
In-, Des-. Se invierte el valor de verdad de la proposicin. (No llueve)
Si lo que se niega es verdadero la oracin es verdadera, si se da lo contrario la oracin es
falsa.
2. Segn el alcance de los enunciados
1.
2.
Si A entonces B
A
--------------------B
Modus Tollens
Si A entonces B
No B
--------------------No A
Silogismo
Si A entonces B
hipottico
Si B entonces C
--------------------Si A entonces C
Simplificacin
AyB
------A
Adicin
A
B
------AyB
Silogismo
disyuntivo
AoB
No A
------B
Instanciacin del
universal
Una deduccin o prueba directa es una secuencia de oraciones que parten de supuestos
o premisas, y donde cada una de las lneas o pasos siguientes se obtiene aplicando
alguna de las reglas a algunas de las lneas anteriores, para ir llegando a conclusiones
parciales, donde la ltima es la conclusin.
En las pruebas indirectas o pruebas por absurdo se parte de unas premisas y se quiere
llegar a una supuesta conclusin. Para esto se parte de suponer que aquello que se quera
probar es falso y se intenta a arribar a una contradiccin a partir de las reglas de
inferencia. Si se obtiene una contradiccin se afirma que el supuesto provisional del que se
parti es falso.