Estructura discreta saia b uft
-
Upload
argimiro-gutierrez -
Category
Documents
-
view
119 -
download
1
Transcript of Estructura discreta saia b uft
![Page 1: Estructura discreta saia b uft](https://reader036.fdocuments.es/reader036/viewer/2022082607/55b38d82bb61eb62748b47cc/html5/thumbnails/1.jpg)
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)
![Page 2: Estructura discreta saia b uft](https://reader036.fdocuments.es/reader036/viewer/2022082607/55b38d82bb61eb62748b47cc/html5/thumbnails/2.jpg)
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