Lógica

 Simbólica  
 
Conectores  Lógicos:  
 
1) Negación:  Llamaremos  P  a  una  proposición.  Entonces  No  P  es  la  
Negación  de  P.  En  símbolos  lo  expresaremos  como  (tilde)P  
 
Se  conoce  como  una  Tabla  de  Verdad,  una  matriz  donde  se  
muestran  las  posibles  opciones  para  una  proposición:  
 
P   No  P  
Verdadero   Falso  
Falso   Verdadero  
 
¿  Qué  nos  dice  esta  Tabla  de  Verdad  ?  
Si  P  es  Verdadero,  entonces  No  P  es  Falso.  
Si  P  es  Falso,  entonces  No  es  Verdadero.  
 
2) Conjunción:  En  este  caso,  con  dos  proposiciones  crearemos  una  
nueva  proposición.  Si  tenemos  las  proposiciones  simples  P  y  Q,  
decimos  que  la  proposición  compuesta  P  y  Q  es  Verdadera  cuando  
ambas  proposiciones  P  y  Q  son  verdaderas  al  mismo  tiempo  o  
simultáneamente.  En  símbolos  lo  expresaremos  con  el  símbolo  ∧,  la  
proposición  compuesta  queda  así:  P  ∧  Q.  
 
Vamos  a  construir  una  Tabla  de  Verdad  para  la  Conjunción:  
P   Q   P  ∧  Q  
Verdadero   Verdadero   Verdadero  
Verdadero   Falso   Falso  
Falso   Verdadero   Falso  
Falso   Falso   Falso  
 
Observen  que  la  proposición  compuesta  P  ∧  Q  solamente  puede  ser  
Verdadera  cuando  ambas  P  y  Q  son  Verdaderas.  Si  P  o  Q  o  ambas  P  y  
Q  son  Falsas,  entonces  P  ∧  Q  es  Falsa.  
 
 
 
 
 3) Disyunción:  Teniendo  dos  proposiciones  simples  P  y  Q,  crearemos  
una  proposición  compuesta  que  llamaremos  P  o  Q,  en  símbolos  lo  
vamos  a  expresar  como  P  ∨  Q.  Decimos  que  la  proposición  
compuesta  P  ∨  Q  es  Verdadera  cuando  P  o  Q  o  ambas  P  y  Q  son  
Verdaderas.  
 
Vamos  a  construir  una  Tabla  de  Verdad  para  la  Disyunción:  
P   Q   P  ∨  Q  
Verdadero   Verdadero   Verdadero  
Verdadero   Falso   Verdadero  
Falso   Verdadero   Verdadero  
Falso   Falso   Falso  
 
Haremos  unos  ejercicios  a  manera  de  práctica:  
 
a) Construir  una  Tabla  de  Verdad  para  la  proposición  No  P  ∧  Q  
  P    No  P   Q    No  P  ∧  Q  
  Verdadero   Falso   Verdadero   Falso  
  Verdadero   Falso   Falso   Falso  
  Falso   Verdadero   Verdadero   Verdadero  
  Falso   Verdadero   Falso   Falso  
   
  b) Construir  una  Tabla  de  Verdad  para  la  proposición  P  ∨  No  Q  
  P   Q   No  Q    P  ∨  No  Q  
  Verdadero   Verdadero   Falso   Verdadero  
  Verdadero   Falso   Verdadero   Verdadero  
  Falso   Verdadero   Falso   Falso  
  Falso   Falso   Verdadero   Verdadero  
   
  c) Construir  una  Tabla  de  Verdad  para  la  proposición  No  P  ∨  No  Q  
  P   No  P   Q   No  Q    No  P  ∨  No  Q  
  Verdadero  
Falso   Verdadero   Falso   Falso  
 
Verdadero   Falso   Falso   Verdadero   Verdadero  
 
Falso   Verdadero   Verdadero   Falso   Verdadero  
 
Falso   Verdadero   Falso   Verdadero   Verdadero  
 
 
 
 
 
 
 
 
 
 
 
 4) Condicional:  Si  P…Entonces  Q.  Este  es  un  conector  lógico  que  
equivale  a  decir  que  P  implica  Q,  en  símbolo  se  expresa  del  
siguiente  modo:  P  ⇒  Q.  
 
Construiré  la  Tabla  de  Verdad  para  la  proposición  P  ⇒  Q  
  P   Q   P  ⇒  Q  
  Verdadero   Verdadero   Verdadero  
  Verdadero   Falso   Falso  
  Falso   Verdadero   Verdadero  
  Falso   Falso   Verdadero  
   
  5) Bi-­‐Condicional:  P  si  y  solo  si  Q.  En  símbolo  se  expresa  del  siguiente  
  modo:  P  ⇔  Q.  
   
  Construiré  la  Tabla  de  Verdad  para  la  proposición  P  ⇔  Q.  Para  eso  
  voy  a  considerar  lo  siguiente:  P  ⇔  Q  equivale  a  (P  ⇒  Q)  ∧  (Q  ⇒  P)  
   
  P   Q   P  ⇒  Q   Q  ⇒  P   (P  ⇒  Q)  ∧  (Q  ⇒  
 
P)  
 
Verdadero   Verdadero   Verdadero   Verdadero   Verdadero  
 
Verdadero   Falso   Falso   Verdadero   Falso  
 
Falso   Verdadero   Verdadero   Falso   Falso  
 
Falso   Falso   Verdadero   Verdadero   Verdadero