Operaciones Lógicas

Consisten en construir proposiciones a partir de otras ya dadas, utilizando las conectivas.

Operaciones Lógicas Básicas

• Negación(~):
  Dada una proposición p , la negación de p es otra proposición que se denota por ~p y se lee "no p", o es falso que p.
  Ejemplo: Negar la proposición: p: La tierra es plana.
  ~p:La tierra no es plana = No es cierto que la tierra sea plana.
  
  
  Tabla de verdad de la negación
  
  
  
  

  p	~p
  V	F
  F	V

  
  
  
  Una negación siempre tiene el valor de verdad contrario
  
  


• Conjunción(ᶺ):
  Dadas dos proposiciones p y q, la conjunción de p y q se escribe " p y q ". Se la conoce también como la multiplicación lógica.
  
  La proposicion conjuntiva es verdadera lógicamente cuando las dos proposiciones p y q son verdaderas, en cualquie otro caso es falsa.
  
  
  Tabla de verdad de la Conjunción
  

  
  

  p	q	pᶺq
  V	V	V
  V	F	F
  F	V	F
  F	F	F

  
  El valor de verdad de una conjunción es Verdadero solo si ambas lo son.
  
  Ejemplo:Simbolizar: el 5 es impar y es primo.
  
  p: 5 es número impar.
  q: 5 es número primo.
  pΛq: 5 es número impar y 5 es un número primo = 5 es número impar y primo.