Conectivos logicos.

A partir de propopiniones simples es posible generar otras, simples o compuestas. Es decir que se puede operar con proposiciones y parápido ello se utiliza siertos símbolos llamados conectivos logicos.


Negacion.
Dada una proposición p se denomina la negación p a otra proposición denotada por -p (se lee no p) que le asigna el valor de verdad opuesto al de propopiniones.

Ejemplo:
p:  El km tiene 100 mts.
-p: El km. No tiene 100 más.
 Su tabla de depreciación verdad seria.


    p.          -p
    V.           F
    F.           V.



Conjuncion.
Dadas dos proposiciones p y q, se denomina conjunción  de estas proposiciones a la proposición p  ^  q  ( se lee 《p y  q》).
 Tabla de verdad.



P.          q         p^q

V.          V.          V     
V.          F.          F   
F           v.          F
F           F          F