Академический Документы
Профессиональный Документы
Культура Документы
LOGICA PROPOSICIONAL
Para que un enunciado sea tal, tiene que poder atribuírsele valores de verdad o falsedad,
aunque en algunos casos es indeterminado. Todo se fundamenta en el principio de
bivalencia, según el cual, todo enunciado es verdadero o falso, pero nunca ambas cosas.
Estos pueden ser simples, compuestos, y con cuantificador, como a continuación se
explica.
PROPOSICIÓN SIMPLE
Ejemplos:
PROPOSICIONES COMPUESTAS
Ejemplos:
Conectores Lógicos
Negación:
Se representa por el símbolo ~ ó ¬ .Así, el enunciado ¬p se leería como: " no p"; "no es
cierto que p"; "ni p".
Conjunción:
Es una proposición compuesta formada por dos o mas proposiciones simples unidas
mediante el conectivo “y” su símbolo es . Su tabla de verdad:
p q p q
V V V
V F F
F V F
F F F
Disyunción:
p q p q
V V V
V F V
F V V
F F F
Disyunción exclusiva:
p q p q
V V F
V F V
F V V
F F F
Implicación o condicional.
p q p q
V V V
V F F
F V V
F F V
Equivalencia o bicondicional
Cuando cada proposición simple implica a la otra, están relacionadas con el conectivo
“…si y sólo sí…”, llamado equivalencia, se simboliza .
p q p q
V V V
V F F
F V F
F F V
Cuantificadas Negación
Compuestas Conjunción
Simples Disyunción
No: p
Y: pq
O: pq
Se definen como
Pueden ser
Así
Que son
Forma
Y pueden ser
Se relacionan con
Se forman por
Limpieza
Orden
Lógica Proposicional
Veracidad