Unidad 1 - Lógica Proposicional

Las proposiciones se definen como expresiones o enunciados simples que contienen afirmaciones o negaciones, puede ser verdadera o falsa.
1. Las variables proposicionales se representan con las letras p, q, r, s, v.
Operadores lógicos
1. 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
2. Doble negación: la doble negación de una proposición es igual a la proposición original. ~(~p)
3. Conjunción: Ʌ La proposición compuesta por pɅq, solo será verdadera cuando las dos proposiciones lo sean. Es conmutativa pɅq = qɅp
4. Disyunción inclusiva: V la proposición compuesta pvq solo será falsa cuando las dos proposiciones lo sean. Es conmutativa qvp=pvq
5. 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
1. 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
2. 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

Resource summary

	Created by Adriana Suarez over 6 years ago