CONECTVOS LOGCOS

1
March 05, 2009
Mar 4-08:05 a.m.
COMECTIVOS L0ICOS
FECHA: 0b / 03 / 09
Son eIemenfos que sirven de enIoce enfre Ios proposiciones, poro
formor ofro, denominodo proposicion moIecuIor.
Mar 4-08:17 a.m.
Conecfivos Iogicos mos empIeodos son:
I. COMJUMCIM ( Se simboIi;o: " ", se Iee: " y "). Se denofo por: pq.
CONECTVOS LOGCOS
2
March 05, 2009
Mar 4-08:28 a.m.
Z. DISYUMCIM IMCLUSIVA O DE8IL ( Se simboIi;o: " ", se Iee: " O " )
Se denofo: p q.
Mar 4-08:34 a.m.
3. DISYUMCIM EXCLUSIVA O FUEPTE
( Se simboIi;o : " ", se Iee: " O...O... " ). Se denota: p q.
CONECTVOS LOGCOS
3
March 05, 2009
Mar 4-08:42 a.m.
Mar 4-08:47 a.m.
b. 8ICOMDICIOMAL ( Se simboIi;o: " ", se Iee: " Si y soIo si " )
Se denofo " p q " y se Iee: " p si y soIo si q ".
CONECTVOS LOGCOS
4
March 05, 2009
Mar 4-08:53 a.m.
EQUIVALEMCIAS DE LOS COMECTIVOS L0ICOS EM EL LEM0UAJE
COTIDIAMO
Mar 4-09:56 a.m.
CLASES DE PPOPOSICIOMES
A. PPOPOSICIOMES SIMPLES O ATMICAS: Cuondo no confiene o
ningn conecfivo Iogico.
8. PPOPOSICIOMES COMPUESTAS O MOLECULAPES.
Cuondo en su conformocion exisfe oI menos un conecfivo Iogico.
M
CONECTVOS LOGCOS
5
March 05, 2009
Mar 4-10:12 a.m.
TIPOS DE FOPMULAS PPOPOSICIOMALES
I. TAUTOLO0A:
Es fodo proposicion, cuyo voIor de verdod es siempre verdodero ( V ),
Z. COMTPADICCIM: Cuyo voIor de verdod es siempre es foIso ( F ).
Se denofo por F.
U OLO0
p ( )
p f (
Mar 4-10:21 a.m.
3. COMTIM0EMCIA: Es fodo proposicion Iogico cuyo voIor de verdod
fiene oI menos un voIor verdodero ( V ) y un voIor foIso (F).
CONECTVOS LOGCOS
6
March 05, 2009
Mar 4-10:24 a.m.
MMEPO DE VALOPES QUE SE ASI0MA A CADA VAPIA8LE
PPOPOSICIOMAL
EI nmero de voIores que puede fener uno deferminodo voriobIe proposicionoI
en un esquemo moIecuIor esfo dodo por Io formuIo:
Donde " n " represenfo eI nmero de proposiciones simpIes que exisfen en eI
esquemo moIecuIor.
Mar 4-10:27 a.m.
EVALUACIM DE ESQUEMAS MOLECULAPES POP
MEDIO DE TA8LAS DE VALOPES
EJEMPLOS:
Consisfe en deducir si se frofo de uno foufoIogo, confrodiccion o
confingencio. Poro eIIo se uso Ios fobIos de verdod de Ios conecfivos Iogicos.
CONECTVOS LOGCOS
7
March 05, 2009
Mar 5-07:57 a.m.
Mar 5-07:58 a.m.
EJEPCICIOS PAPA CLASE
CONECTVOS LOGCOS
8
March 05, 2009
Mar 5-08:02 a.m.
Mar 5-08:06 a.m.
EJEPCICIOS PAPA CASA
En coso resueIve en fu cuoderno Ios ejercicios de Io pogino IZ de
Io procfico M" 0Z (Logico proposicionoI)