cÁlculo proposicional. 2 variable proposicional es aquella que puede representar a una proposición...
TRANSCRIPT
![Page 1: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/1.jpg)
CÁLCULOPROPOSICIONAL
![Page 2: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/2.jpg)
2
VARIABLE PROPOSICIONAL
Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido, mientras no se especifiquen los valores de verdad de las proposiciones involucradas.
Las variables proposicional se las representa con las ultimas letras minúsculas del alfabeto español, ejemplo: p, q, r, etc.
![Page 3: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/3.jpg)
3
FORMA PROPOSICIONAL
Son estructuras constituidas por variables proposicionales y relacionadas con los operadores lógicos.
Se las representa con las letras mayúsculas del alfabeto español A,B, C….D.
Ejemplo:
![Page 4: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/4.jpg)
4
FORMA PROPOSICIONAL
Observaciones
Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no serán consideradas proposiciones.
Si cada variable proposicional es reemplazada por una proposición simple o compuesta, la forma proposicional se convierte en una proposición.
![Page 5: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/5.jpg)
5
FORMA PROPOSICIONAL
EjemploDada la siguiente forma proposicional.
Construya la Tabla de verdad de una forma proposicional.
![Page 6: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/6.jpg)
6
FORMA PROPOSICIONAL
Debido a la presencia de las 3 variables proposicionales p, q y r, existirán 23 proposiciones posibles en la tabla de verdad de A.
Cuando las variables proposicionales p, q y r toman los valores de verdad 1, 0 y 1, respectivamente, se puede apreciar que la proposición resultante es verdadera.
![Page 7: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/7.jpg)
7
qpqp )( p
q
V V F V V F F
V F F V F V V
F V V F F V F
F F V F F F V
Ejemplo: Construir la tabla de vedad para las siguientes formas proporcionales
Solución:
qpqpB (:
![Page 8: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/8.jpg)
8
qrprqpC )()(:
qrprqp )()( p q r
V V V F F V V V V V
V V F F F V V V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F
Solución:
Ejemplo: Construir la tabla de vedad para las siguientes formas proporcionales
![Page 9: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/9.jpg)
9
TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS:
Dada la estructura lógica de una forma proposicional: Es Tautología, si los valores de su tabla de verdad
todos son verdaderos
Es Contradicción, si los valores de su tabla de verdad, todos son falsos.
Es Contingencia, si los valores de su tabla de verdad hay valores verdaderos y falsos
![Page 10: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/10.jpg)
10
Ejercicio: Determinar si la siguiente forma proposicional es tautológico, consistente o contradictorio.
p p)]~ q(~ q) (p [~ p
q
V V F V V F F F V V
V F F V V V F F V V
F V F V V F F V V F
F F V F V V V V V F
pp)]~q(~q)(p[~
![Page 11: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/11.jpg)
Cálculo Proposicional Determina el valor de verdad de las siguientes
expresiones, si se sabes que:
(V) p: María es doctora. (F) q: María es casada. (V) r: María vive con sus padres. (F) s: María viajará a España.
(q r) s (p r) (p q) (F F) F (V V) (V F) V F V F F V
![Page 12: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/12.jpg)
EJERCICIOS1. Si se sabe únicamente que P es verdadero,
¿Qué puede afirmarse del valor de verdad de cada una las proposiciones siguientes?
P Λ Q R → P S → ~ P R Ѵ P P → Q R → (S → P) R Λ P P → P Ѵ S P Ѵ S → (Q Λ ~
P) S Ѵ ~ P ~ P → Q Λ R Q Λ ~ P → R Λ Q2.- Determinar cuáles de las siguientes
proposiciones son tautologías: P Λ Q → P Λ R (P → Q ) → ( ~ Q →P ) P → P Λ Q (P ↔ Q) Λ (P Λ ~ Q) P Λ ~ (Q Ѵ P) P Λ ~ ((P Ѵ Q) Ѵ R) (P → (Q Ѵ ~ P)) → ~ Q P Ѵ (~ P Ѵ R)
![Page 13: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/13.jpg)
13
IMPLICACIÓN LÓGICA
Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B, denotado por A®B , si y sólo si A®B es una tautología.
Las formas proposicionales pueden ser conectadas con operadores lógicos para formar nuevas formas proposicionales. Dadas A y B, los símbolos:
RECORDEMOS:
![Page 14: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/14.jpg)
14
EJEMPLO DE IMPLICACIÓN LÓGICADada las siguientes formas proposicionales, demostrar que A implica a B
A: p Ù q B: p Ú q
Solución: Unimos con la condicional (p q) (p q) y construimos la tabla:
El resultado es tautología, se ha demostrado que A implica a B.
![Page 15: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/15.jpg)
15
EQUIVALENCIA LÓGICA
Se dice que dos proposiciones son equivalentes, si tienen iguales valores de verdad.
Se lo representa por “ ” pero no es un operador lógico.
,:: qpBqpA
Solución: se construye la tabla de verdad y luego se verifica los resultados
qp p q ~p ∨ q
V V V V
V F F F
F V V V
F F V VResp: si son equivalentes
Ejjercicio: Demostrar que las siguientes formas proposicionales son equivalentes
![Page 16: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/16.jpg)
16
Principales leyes lógicas o Tautologías:
qqpb
pqpa
ciónSimplificadeLey
qqpp
PonensModusDelLey
pp
excluidoTerciodelLey
pp
ióncontradiccdeLey
ppypp
identidadde
tieneseestasEntre
)
)
:.5
)(
:.4
:.3
)(~
:.2
:.1
:
![Page 17: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/17.jpg)
17
Principales Leyes Lógicas
pqpqpb
pqqpa
AbsurdodelLey
qqqp
DisyuntivoismoSidelLey
rprqqp
hipotèticoismoSidelLey
qqqp
TollensModusdeLey
)()()
)()
:.9
)(
:log.8
)()()(
log.7
)(
:..6
![Page 18: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/18.jpg)
18
Equivalencias Notables
)()()
)()()
)()()
:.4
)
)
)
:.3
)
)
:.2
)(
:)(:.1
rqprqpc
rqprqpb
rqprqpa
AsociativaLey
pqqpc
pqqpb
pqqpa
aConmutativLey
pppb
pppa
iaIdempotencdeLey
pp
negaciónDobleinvolucióndeLey
![Page 19: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/19.jpg)
19
Equivalencias notables:
Fppc
ppb
Vqpa
oComplementdeLeyes
qpqpb
qpqpa
MorganDdeLey
rpqprqpd
rpqprqpc
rpqprqpb
rpqprqpa
vasDistributiLeyes
)
)()
)
:.7
)()
)()
:´.6
)()()()
)()()()
)()()()
)()()()
:.5
![Page 20: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/20.jpg)
20
Principales leyes lógicas
qpqppdqpqppc
pqppbpqppa
AbsorsióndeLey
FFpdpFpc
pVpbVVpa
IdentidaddeLeyes
qpqpqpb
pqqpqpa
nalBicondiciodelLey
pqqpc
qpqpb
qpqpa
onaldelCondiciLeyes
)())()
)())()
:.11
))
))
:.10
)()()()
)()()()
:.9
)()
)()
)
:.8
![Page 21: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/21.jpg)
21
Principales leyes lógicas
iónContradiccCíaTautoT
CCpdpCpc
TTpbpTpa
NeutrosElementos
rppppprppppb
rqprqpa
nExportaciódeLey
pqqpb
pqqpa
iónTransposicdeLey
nnn
;log
))
))
:.14
)()....()....()
)()()
:.13
)()()
)()()
:.12
321321
![Page 22: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/22.jpg)
22
CUANTIFICADORES
Función Proposicional:
Es todo enunciado abierto, que tiene la propiedad de convertirse en una proposición al ser sustituido la variable “x” por una constante específica. Se les denota asi:
P(x) ; q(x) ; etc.
Ejemplo:
Sea : p(x): x+5=12 ; donde si reemplazamos x por 3 , la expresión es falsa; si reemplazamos x por 7, la expresión es verdadera. Esto escribimos asi:
P(3): 3+5=12 es falsa
P(7): 7+5=12 es verdadera.
![Page 23: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/23.jpg)
23
TIPOS DE CUANTIFICADORES
1.- Cuantificador Universal:Es toda función proposicional presedida por el Prefijo “Para Todo”, que está denotado por:
Así por ejemplo:
Se lee: “Para todo x perteneciente a los reales, x2es mayor o igual a cero”
2.- Cuantificador Existencial
Es toda función proposicional presedida por el prefijo “Existe algún x”, que está denotado por :
0: 2 xRx
082::
"lg"::2
xRxEjemplo
xúnaExisteleesex
![Page 24: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/24.jpg)
24
Negación de los Cuantificadores:
Dada una función proposicional , tal como : P(x), entonces
si esta función proposicional está cuantificada y se niega,entonces, se cumple la siguiente igualdad:
)(:)(: xpAxxpAx Dada una función proposicional, tal como : P(x), entonces, si esta función proposicional está cuantificada en forma existencial y se niega, entonces, se cumple la igualdad:
)(:)(: xpAxxpAx
![Page 25: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/25.jpg)
25
Circuitos lógicos
Llamados también redes lógicas. Son como su nombre indica, redes que representan posiciones lógicas.
Estas redes se presentan como redes en serie o como redes en paralelo
:qp
CONJUNCIÓNlaconseasociaserieenConexiónUna
/p /q
![Page 26: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/26.jpg)
26
.:qp
DISYUNCIÓNlaconasociaseparaleloenConexiónUna
P/
q/
![Page 27: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/27.jpg)
27
Circuitos lógicos
Describir simbólicamente el circuito
pr
~q
q ~r
1. r y ~q están conectados en paralelo : r v ~q
2. P y (r y ~q) están conectados en serie: q)~(rp 3. q y ~r están conectados en serie: r~ q
q)~(rp y r~ q Están conectados en paralelo,
Luego se simboliza: r)~(qq)~(rp
![Page 28: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/28.jpg)
28
Circuitos lógicos
Determinar el circuito equivalente al circuito:~p
Solución
El circuito se simboliza por:
p~qp~pqp~
~p
q
p
q
~p
![Page 29: CÁLCULO PROPOSICIONAL. 2 VARIABLE PROPOSICIONAL Es aquella que puede representar a una proposición simple o compuesta pero su valor de verdad es desconocido,](https://reader035.vdocuments.pub/reader035/viewer/2022062222/5665b4a71a28abb57c92ec93/html5/thumbnails/29.jpg)
29
Circuitos lógicos
Solución
p~qp~pqp~ Simplificamos utilizando las leyes lógicas y las equivalencias notables.
qp~p~qpp~ Asociativa
qp~qT Ley del tercio excluido , Idempotencia.
qp~T
qp~ Elemento neutro para la conjunción
El circuito equivalente es: ~p
q