Nociones de Logica
Nociones de Logica
Nociones de Logica
CLASES DE PROPOSICION
a. PROPOSICION SIMPLE O ATOMICA.- Es aquella que tiene un solo sujeto y un solo
predicado. El valor de verdad de estas proposiciones lo determinan las ciencias
particulares. Ejemplos:
p: tres es un número primo
q: hoy hace calor
r: las rosas son rojas
s: Miguel Grau murió en la guerra del Pacífico.
P q p∧𝑞
V V V
V F F
F V F
F F F
3) DISYUNCION INCLUSIVA O DÉBIL ( ∨, +, ∪ )
La disyunción inclusiva o simplemente disyunción de las proposiciones p y q es la
proposición resultado de unir estas por el conectivo lógico “o” y denotado por “p ∨ 𝑞”
cuya tabla de verdad es:
P q p ∨ 𝑞
V V V
V F V
F V V
F F F
4) DISYUNCION E XCLUSIVA O FUERTE ( △, ⊕, ∨, > −< )
La disyunción exclusiva de las proposiciones p y q que resulta de unir estas por el
conectivo “o” en sentido excluyente y denotada por “ p △ 𝑞 ” cuya tabla de valor es:
P q p△𝑞
V V F
V F V
F V V
F F F
5) CONDICIONAL ( →, ⊃ )
La condicional de las proposiciones p y q es la proposición que resulta de unir estas por el
conectivo lógico “ si … entonces …” y denotado por “ p → 𝑞 ” cuya tabla de valores de
verdad es:
P q p→𝑞
V V V
V F F
F V V
F F V
6) Bicondicional (↔, = )
La bi condicional de las proposiciones p y q es la proposición que resulta de unir estas por
el conectivo lógico “ si y sólo si ” y denotado por “ p ↔ 𝑞 ” cuya tabla de valores de
verdad es:
P q p↔ 𝑞
V V V
V F F
F V F
F F V
SIMBOLOS DE AGRUPACION.- Los símbolos de agrupación (paréntesis, corchete, llaves) se usan en
lógica cuando se trata de obtener esquemas lógicos más complicados con el fin de evitar
ambigüedad en las fórmulas.
- ~ ∧ ∨ → △ ↔ +
Sin embargo, cada conectivo puede ser de mayor jerarquía o menor jerarquía si así lo indica el
símbolo de agrupación. Por ejemplo, en la expresión ~[𝑝 ∆ (𝑞 → ~𝑟)] el conectivo de mayor
jerarquía es la negación.
ESQUEMAS MOLECULARES
CIRCUITOS LOGICOS
2. CIRCUITO EN PARALELO.- 𝑞 ∨ 𝑝
q
q r
LEYES LOGICAS DEL ALGEBRA
PROPOSICIONAL
p q p∧𝑞 P q P → q
V V V V V V
V F F V F F
F V F F V V
F F F F F V