identificar los conectivos lógicos de una proposición
TRANSCRIPT
Identificar los conectivos lógicos de una proposición.
( ) Y [ ] son agrupaciones.
¬ se lee, NO es una negación.
∧ se lee, Y y es una conjunción.
∨ se lee, O y es una Disyunción inclusiva.
⊻ se lee, O...O y es una disyunción exclusiva.
→ se lee, si… entonces y es una condicional.
↔ se lee, si y solo si y es una bicondicional.
Identificar las distintas formas proposicionales.
Tipos
La proposición (yo voy al parque) es un tipo de proposición atómica ya que no
figura ningún operador.
La proposición (P→q)∧(P∨q) es un tipo de proposición molecular ya que está
compuesta por varias proposiciones.
Conocer las leyes del algebra proposicional
Ley de indepotente
pvq=P o p∧p=p
Ley asociativa
(pvq)vr=pv(qvr) o (p∧q)vr=p∧(q∧r)
Ley conmutativa
Pvq=qvp o p∧q=q∧p
Ley de identidad
Pv0=p o p∧1=p
Ley de dominación
Pv1=1 o p∧0=0
Ley tetercio excluido
pv¬p=1 o p∧¬p=0
ley de contradicción
p∧¬p=0
Ley de doble negación
¬¬p=p o ¬1=0, ¬0=1
Ley de Morgan
¬(pvq) ¬p∧¬q o ¬(p∧q)=¬pv¬q