Zusammenfassung der Ressource
Unidad 1 - Lógica
Proposicional
- Las proposiciones se
definen como expresiones
o enunciados simples que
contienen afirmaciones o
negaciones, puede ser
verdadera o falsa.
- Las variables proposicionales
se representan con las letras
p, q, r, s, v.
- Operadores lógicos
- Negación: (~) una proposición p será
falsa cuando se niegue una proposición
verdadera y será verdadera al negarse
una proposición falsa. Ejm. ~p
- Doble negación: la doble negación de
una proposición es igual a la
proposición original. ~(~p)
- Conjunción: Ʌ La proposición
compuesta por pɅq, solo será
verdadera cuando las dos
proposiciones lo sean. Es conmutativa
pɅq = qɅp
- Disyunción inclusiva: V la proposición
compuesta pvq solo será falsa cuando las dos
proposiciones lo sean. Es conmutativa
qvp=pvq
- Disyunción exclusiva: ⊕ La proposición
compuesta p⊕q solo será falsa cuando las
dos proposiciones tuvieren el mismo valor
de verdad. Es conmutativa, p⊕q = q⊕p
- Tablas de Verdad: muestra el valor de verdad de una
proposición compuesta
- Proposiciones condicionales
- Bicondicional o equivalencia: ↔ La
proposición compuesta p <->q, solo
será verdadera cuando ambas
proposiciones tengan el mismo valor
de verdad. Es conmutativa p↔q =q↔p
- Condicional o implicación:→ la proposición
compuesta p q solo será falsa cuando p,
llamado antecedente sea verdadero y q,
llamado consecuente sea falso. No es
conmutativa p →q ≠ q →p