Usuario:Alvaro Otero/ejercicio 1

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda
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