El documento presenta los conceptos básicos de lógica proposicional, incluyendo definiciones de términos como tautología, contradicción, contingencia, lenguaje lógico y ordinario, proposiciones condicionales, bicondicionales y de equivalencia. Instruye al lector en cómo construir tablas de verdad y usarlas para verificar la equivalencia de expresiones lógicas, y presenta ejemplos de tablas de verdad para operadores como disyunción, conjunción y disyunción exclusiva.
0 calificaciones0% encontró este documento útil (0 votos)
6 vistas3 páginas
El documento presenta los conceptos básicos de lógica proposicional, incluyendo definiciones de términos como tautología, contradicción, contingencia, lenguaje lógico y ordinario, proposiciones condicionales, bicondicionales y de equivalencia. Instruye al lector en cómo construir tablas de verdad y usarlas para verificar la equivalencia de expresiones lógicas, y presenta ejemplos de tablas de verdad para operadores como disyunción, conjunción y disyunción exclusiva.
El documento presenta los conceptos básicos de lógica proposicional, incluyendo definiciones de términos como tautología, contradicción, contingencia, lenguaje lógico y ordinario, proposiciones condicionales, bicondicionales y de equivalencia. Instruye al lector en cómo construir tablas de verdad y usarlas para verificar la equivalencia de expresiones lógicas, y presenta ejemplos de tablas de verdad para operadores como disyunción, conjunción y disyunción exclusiva.
El documento presenta los conceptos básicos de lógica proposicional, incluyendo definiciones de términos como tautología, contradicción, contingencia, lenguaje lógico y ordinario, proposiciones condicionales, bicondicionales y de equivalencia. Instruye al lector en cómo construir tablas de verdad y usarlas para verificar la equivalencia de expresiones lógicas, y presenta ejemplos de tablas de verdad para operadores como disyunción, conjunción y disyunción exclusiva.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 3
PRÁCTICA VI
Tema I.- exprese el valor de verdad de las siguientes proposiciones:
a) Tautología es una proposición compuesta cuyo valor de verdad es siempre
verdadero.
b) La disyunción exclusiva está formada por dos proposiciones simples enlazadas o
unidas por la expresión “o…o” c) Contradicción es una proposición compuesta cuyo valor de verdad es siempre falso. d) Contingencia es una proposición que no es ni Tautología ni contradicción, o sea, que su valor de verdad se compone de una mezcla de falso y verdadero. e) Lenguaje ordinario es el que se usa para expresar una proposición con palabras, a este también se le llama coloquial. f) Lenguaje lógico es el que se emplea para expresar o escribir una proposición mediante símbolos. g) Equivalencia es la condición que presentan dos formas proposicionales compuestas que poseen los mismos componentes simples y sus valores de verdad resultan iguales, independientemente de los valores de verdad de dichos componentes. Se simboliza (≡). h) Proposición bicondicional está formada por dos o más proposiciones simples unidas por la expresión bicondicional “si y solo si”. Esta proposición es verdadera cuando ambas proposiciones que la forman tienen igual valor de verdad. en los demás casos, o caso contrario, es falsa. i) La proposición condicional es falsa únicamente cuando el antecedente es verdadero y el consecuente falso. En los demás casos es verdadera. j) La Lógica se divide en formal y aplicada. La Lógica Formal estudia las leyes generales del pensamiento que permiten la distinción entre el conocimiento verdadero y el no verdadero, mientras que la Lógica Aplicada estudia la estructura del pensamiento, partiendo del objeto de estudio de las distintas ciencias. Tema II.- Completa las tablas y clasifíquelas de acuerdo a su resultado en Tautología, Contradicción o Contingencia.
p → (p ˅ q) (p ʌ ~q) → ~q p q (p ˅ q) p → (p ˅ q) p q ~q (p ʌ ~q) (p ʌ ~q) → ~q
(p ʌ q) → p (p ʌ q) ↔ (p ˅ q) p q (p ʌ q) (p ʌ q) → p p q (p ʌ q) (p ˅ q) (p ʌ q) ↔ (p ˅ q)
Ejemplo: La equivalencia es una condición que presentan dos formas proposicionales Verificar que p ˅ q es equivalente a q ˅ p compuestas que poseen los mismos componentes simples y sus valores de p q p˅q q˅p verdad resultan iguales, v v v v independientemente de los valores de verdad de dichos componentes. Se v f v v simboliza por ≡. f v v v
f f f f
Podemos observar que las dos formas son
equivalentes. p ˅ q ≡ q ˅ p Tema III.- Por medio de la tabla de verdad demuestre la equivalencia de las siguientes formas proposicionales en cada caso. Es decir, diga si las siguientes formas proposicionales son equivalentes.
a) p → (p ˅ q) ≡ (p ʌ q) → p e) q ≡ ~p ^ q
b) p v q ≡ q v p f) ~p ↔ q ≡ ~(p ↔ q)
c) ~(p → q) ≡ p v ~q g) p↔q≡q↔p
d) ~(~p) ≡ p h) p ↔ q ≡ (p → q) ^ (q → p)
La Disyunción exclusiva también llamado o exclusivo, simbolizado como ⊻ es un tipo de disyunción
lógico de dos operando que es verdad si solo un operando es verdad pero no ambos. O lo que es lo mismo decir, que será verdadera cuando tenga diferentes valores de verdad; en los demás casos será falsa.
p q (p ⊻ q) v v f La TABLA de verdad correspondiente a la v f v Disyuncion Exclusiva f v v f f f
Tema IV.- construir las siguientes tablas y clasifíquelas
