Una proposición es cualquier enunciado lógico al que se
le pueda asignar un valor de verda.
a)proposiciones simples:Es una oración bimembre solo puede tenersujeto o
predicado .
EJM:Marta cosina sabroso.
b)proposiciones compuestas:Es la unión de dos o mas proposiciones
simples .
EJM:La señora y su hija van al mercado pero se olvidaron su bolso
entonces yuvieron que comprar otro.
CONECTIVOS LÓGICOS
-Son símbolos opalabras que sirven de enlace para la unión de
proposiciones simples, y entre ellas tenemos:
Negación
Conjunción
Disyunción
Implicación
Si y solo Si.
1)Conjunción: es aquella proposición que es verdadera cuando p y q son verdaderas, y
falsa en cualquier otro caso.
Se escribe p Ù q, y se lee "p y q".
Se escribe p Ù q, y se lee "p y q".
p
|
q
|
p Ù q
|
v
|
v
|
v
|
v
|
f
|
f
|
f
|
v
|
f
|
f
|
f
|
f
|
2) Disyunción:
es aquella proposición que es verdadera cuando al menos una de las dos p o q es
verdadera,
y falsa en caso contrario. Se escribe p Ú q, y se lee "p o q".
y falsa en caso contrario. Se escribe p Ú q, y se lee "p o q".
p
|
q
|
p Ú q
|
v
|
v
|
v
|
v
|
f
|
v
|
f
|
v
|
v
|
f
|
f
|
f
|
3)Disyunción exclusiva: es aquella proposición que es verdadera cuando
una y sólo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p Ú q, y se lee "p o q pero no ambas". Se usa muy poco.
y falsa en cualquier otro caso. Se escribe p Ú q, y se lee "p o q pero no ambas". Se usa muy poco.
p
|
q
|
p Ú q
|
v
|
v
|
v
|
v
|
f
|
v
|
f
|
v
|
v
|
f
|
f
|
f
|
4)
Condicional: es aquella proposición que es falsa únicamente cuando la condición
suficiente p es verdadera y la
condición necesaria q es falsa. Se escribe p Þ q, y se lee "si p entonces q".
condición necesaria q es falsa. Se escribe p Þ q, y se lee "si p entonces q".
p
|
q
|
p Þ q
|
v
|
v
|
v
|
v
|
f
|
f
|
f
|
v
|
v
|
f
|
f
|
v
|
Bicondicional: es aquella proposición que es verdadera cuando p y q tienen el mismo
valor de verdad,
y falsa en caso contrario. Se escribe p Û q, y se lee "si y sólo si p entonces q".
y falsa en caso contrario. Se escribe p Û q, y se lee "si y sólo si p entonces q".
p
|
q
|
p Û q
|
v
|
v
|
v
|
v
|
f
|
f
|
f
|
v
|
f
|
f
|
f
|
v
|
No hay comentarios:
Publicar un comentario