Ensayo

UNA PROPOSICIÓN O ENUNCIADO
es una oración que puede ser falsa o verdadera pero no ambas a la vez, La proposición es un elemento fundamental de la lógica matemática. A continuación se tienen algunosejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones; Las proposiciones se indican por medio de una letra minúscula, dos puntos y laproposición propiamente dicha.
Ejemplo:

p: La tierra es plana.
q: −17 + 38 = 21
r: x > y-9
s: El Real será campeón en la presente temporada de Futbol.
t: Hola ¿como estas?
w: Lava el coche por favor.

Losincisos p y q sabemos que pueden tomar un valor de falso o verdadero, por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdaderodepende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar aque terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.Conectivos Lógicos |
|
Conectivo Lógico: Es aquel que une dos proposiciones atómicas para formar una molecular

    Existen 5 tipos de  conectivos, que ha continuación se muestran

CONJUNCIÓN    ( &  " y  "    "^ ")

Se llama conjunción de dos proposiciones a la proposición molecular unida por el conectivo lógico Simbólicamente se representa: & o ^
DISYUNCIÓN    (  " o"  v )

Se llamadisyunción de dos proposiciones a la proposición molecular unida por el conectivo lógico Simbolicamente se representa:  v

IMPLICACIÓN ( entonces)

Se dice que una proposición está  implicada cuando unaproposición molecular unida por el conectivo lógico Símbólicamente se representa:  

BICONDICIONAL O DOBLE IMPLICACIÓN   ( si solo si)

Se dice que una proposición tiene una doble implicación cuando...