Usuario:Alvaro Otero/ejercicio 1

Nuevos conectivos lógicos

 1. EL CONECTIVO INCOMPATIBILIDAD  |  ( P | Q)

 y su tabla de verdad se define COMO

  P      Q      P   |   Q

  V      V          F
 
  V      F          V

  F      V          V

  F      F          V    

  2.  EL CONECTIVO NEGACION CONJUNTA  Archivo:Flechaa.JPG
 
  y su tabla de verdad se define COMO

  P      Q      P   Archivo:Flechaa.JPG   Q

  V      V          F
 
  V      F          V

  F      V          V

  F      F          V

ejercicio

hallar la siguiente tabla de verdad

 (~p => (q | p)) Archivo:Flechaa.JPG ~q

  p  q  ~q   (q | p)  ~q =>(q | p)   ~q =>(q | p)Archivo:Flechaa.JPG ~q
 
  V  V   F      F         V                       V

  V  F   V      V         V                       V 

  F  V   F      V         V                       V 

  F  F   V      V         V                       V