Accede a apuntes, guías, libros y más de tu carrera

Lógica Proposicional - tema 1 CepreSM

1 pag.

Descargado por MARIA JOHANNA ISIDRO FIESTAS

(familycupcake.peru@gmail.com)
Encuentra más documentos en www.udocz.com
 Lógica Proposicional
Lógica Proposicional
@postulantea_medicina

Proposición Lógica TABLA DE VALORES

Es un enunciado coherente que se caracteriza por ser "V" o "F"
sin ambigüidad en un determinado contexto.
ü

Proposición Simples o atómica: Proposición Compuesta o

molecular:
No contiene conectivos lógicos Contiene al menos un
ü

ni de adverbio de negación. p- conectivo lógico o el adverbio Proposiciones Lógicamente equivalente

q-r-etc. de negación.
Se cumplirá si tienen la misma secuencia de valores de
verdad en su matriz principal.
Obs: No son proposiciones lógicos los mandatos, deseos,
interrogativos o exclamativos.
ü

→
por lo tanto: (p q) = ~p V q
≡
tautplogía: T V
ü

contradicción: ⊥≡ F
contingencia: C
Conectores lógicos Principales leyes lógicas
Son palabras que enlazan proposiciones simples o cambian el valor
de verdad de una proposición
≡
Involutiva: ~(~p) p
ü
∨≡∨
Conmutativa:p q q p
Asociativa:
Símbolo Esquema se lee Otras palabras (p∨q)∨r≡p∨(q∨r) / (p∧q)∧r≡p∧(q∧r)

~
ü

negación ~p no p no es cierto que Distributiva:

ü

p∨(q∧r)≡(p∨q)∧(p∧r)

∨ ∨ ∨≡
ü

disyunción p q poq a menos que, o bien Leyes de ~(p q) ~p~q

debil ü

∨≡ ∨
Morgan ~(p q) ~p ~q

(p∧~p)≡F
disyunción Δ pΔq opoq o bien...o bien...
Ley del
fuerte Complemento (p ∧~p)≡V
ü

sin embargo,aunque,
conjunción
ü
∧ p ∧q pyq pero, también,
además. Ley de Absorción: p∨(p∧q)≡p / p∨(~p∨q) ≡p

→ →q
ü

en consecuencia,
Ley bicondicional: (p→q)≡(p→q)∧(q→p)
condicional p Si p entonces q por lo tanto,
se deduce.
ü

↔ ↔
-

Ley condicional : (p↔q)≡~p∨q

ü

ü ü ü ü ü ü

bicondicional p q p si y solo si q cuando y solo cuando

ü

ü ü

↔ ≡~(pΔq)
Observación:(p q)
Descargado por MARIA JOHANNA ISIDRO FIESTAS
(familycupcake.peru@gmail.com)
Encuentra más documentos en www.udocz.com