Simplificar y representar mediante Circuito: a) ~ [ p ^ ~( q v r) ]
Respuestas a la pregunta
1. Lenguaje de la Lógica Proposicional
La lógica Proposicional pretende estudiar las frases declarativas simples (enunciados o
proposiciones) que son los elementos básicos de transmisión de conocimiento humano.
De manera informal, una proposición se define como una frase que puede ser considerada
Verdadera o Falsa y que no se puede descomponer en otras frases Verdaderas o Falsas.
Para relacionar las distintas proposiciones se utilizan las siguientes conectivas:
Nombre de la conectiva Representación Ejemplos de frases en las que aparece
Negación
p
no p
es falso p
no es cierto p
Conjunción
pq
p y q
p pero q
p sin embargo q
p no obstante q
p a pesar de q
Disyunción
pq
o p o q o ambos
al menos p o q
como mínimo p o q
Condicional
(Implicación)
p q
si p entonces q
p sólo si q
q si p
q cuando p
q es necesario para p
para p es necesario q
p es suficiente para q
para q es suficiente p
no p a menos que q
Bicondicional
(Equivalencia)
p q
p es necesario y suficiente para q
p si y sólo si q