unidad n i . cálculo proposicional
TRANSCRIPT
![Page 1: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/1.jpg)
Unidad N I Cálculo proposicional
Heymi C Guerra H
![Page 2: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/2.jpg)
Una proposición es un juicio declarativo del cual tiene sentido
decir que es verdadero (V) o que es falso (F), pero no ambas cosas simultáneamente.
Las proposiciones se notarán con letras minúsculas p, q, r, s, t, ya que las letras mayúsculas las usaremos para denotar los conjuntos.
Ejemplo:p» Venezuela es el país mas grande de Sudamérica.
q» Barquisimeto es la capital del estado Lara.
De esta manera podemos decir que “p” puede ser verdadera o falsa dependiendo de alguna situación, lo mismo para “q” y así poder asignarle valores de verdad.
Proposición
![Page 3: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/3.jpg)
Los conectivos lógicos nos permitirán definir
operaciones con proposiciones. Estas operaciones, como veremos oportunamente, tienen la característica de que el valor lógico de la proposición resultante solo depende de los valores lógicos de las proposiciones componentes.
Conectivos lógicos de una proposición
![Page 4: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/4.jpg)
Las formas proposicionales se denotan con letras mayúsculas: A,
B, C, etc. En caso de que queramos enfatizar las variables que intervienen en las funciones proposicionales escribiremos así: A(p,q), B(p1,p2,p3), etc.
Ejemplo: A(p,q)= ~[p→(~q)] B(p,q,r)= p^(q^r)
Para ser precisos, definimos Formas proposicionales como una expresión que se obtiene siguiendo las reglas:
1. Todas las variables proposicionales son formas proposicionales, lo cual le llamaremos, formas proposicionales atómicas.
2. Si A y B son formas proposicionales, entonces también lo son:~A, A^B, AvB, Av B, A→B y A↔B
Distintas formas proposicionales
![Page 5: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/5.jpg)
Leyes del Álgebra proposicional
![Page 6: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/6.jpg)
Demostración Indirecta: Es un conjunto de proposiciones o premisas de
validez aceptada y de las cuales se infiere como consecuencia inmediata.Ejemplo: r →~s
t→s Demostración: Como t→ s es equivalente a decir que ~ s → t , se tiene la
siguiente premisa: ~ s → t.
Demostración Indirecta: Se realiza una demostración indirecta cuando se establece la validez de una tesis probando que las consecuencias de su contraria son falsas.
Ejemplo:Si x² es par, entonces x es par, (con x entero) Suponga que existe al menos un entero X tal que x² es par y x es impar. Por ejemplo 2 analizado en la demostración directa, se sabe que si x es impar, entonces x² es impar, luego es imposible que x sea impar y que x² sea par. Esta es la contradicción buscada.
Algunos Métodos De Demostración En Matemática E
Ingeniería
![Page 7: Unidad N I . Cálculo Proposicional](https://reader035.vdocuments.mx/reader035/viewer/2022062313/55bb0f1ebb61eb384c8b481f/html5/thumbnails/7.jpg)
p ~q
~p ~q
A este circuito le corresponde la forma proposicional:(p^~q) v (~p^~q)
Simplificamos estas expresión usando las Leyes del Algebra proposicional.(p^~q) v (~p^~q)= (p v ~p) ^~q ( Ley distributiva) = 1^~q ( Ley del tercio excluido) = ~q ( Ley de identidad)
Circuitos lógicos de una forma
proposicional