P. 1
MÓDULO LÓGICA PROPOSICIONAL_IParte

MÓDULO LÓGICA PROPOSICIONAL_IParte

|Views: 1.299|Likes:
Publicado porShara William

More info:

Published by: Shara William on Mar 06, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

05/03/2013

pdf

text

original

RAZONAMIENTO LÓGICO

Desarrollo Temático (PARTE I)
LÓGICA PROPOSICIONAL
INTRODUCCIÓN
Existen en la realidad un número considerable de
problemas con los que una persona se enfrenta y de los
cuales se deben deducir ciertos datos para poder
resolverlos. Generalmente la forma en que las personas
aplican el poder deductivo es muy personal, sin embargo
éste podría ser encausado o guiado a través del uso de
reglas de deducción. A su vez, será necesario que
dichas reglas sean establecidas y usadas con una cierta
precisión de modo que puedan ser reutilizadas toda vez
que un mismo problema o problemas de características
similares sean planteados.
La manera cotidiana de expresar los problemas es
por medio de nuestro lenguaje natural. Sin embargo éste
es en esencia ambiguo por lo cual es necesario
transformarlo, acotarlo o restringirlo de modo que se
convierta en un lenguaje inequívoco. Particularmente los
lenguajes simbólicos proveen esa clase de precisión. Y,
si además esos símbolos son símbolos matemáticos, lo
que tendremos es una precisión matemática en la acción
de deducir.
Esta es precisamente la finalidad de la lógica
matemática: expresar problemas por medio de un
lenguaje inequívoco que habilite el uso de reglas de
deducción para la solución de los mismos.
¿QUÉ ES LA LÓGICA?
Se define al término lógica, como la ciencia que
estudia el pensamiento, de tal manera que con este
estudio se puede producir razonamientos correctos, es
decir, válido.
¿A QUÉ NOS REFERIMOS CON PENSAMIENTO?
El Pensamiento está conformado por tres elementos, es
decir, son tres las formas mediante las cuales el ser
humano puede expresar lo que piensa. Estas son:
Conceptos, Juicios y Razonamientos o Raciocinios.
ENUNCIADOS Y CONECTIVAS
Nuestro lenguaje cotidiano se conforma de frases o
expresiones. Si se desea deducir información a partir de
una frase es necesario poder evaluarla como verdadera
o falsa. No obstante no toda frase puede ser evaluada,
existen frases las cuales no se pueden categorizar.
Frases que se pueden categorizar
El líder ha muerto
Juan compró dulces con dinero
El barómetro ayuda a determinar el clima
Si Juan no tiene dinero entonces no compra dulces
Si el barómetro desciende, entonces lloverá o nevará
Frases NO categorizables
Qué frío!!
¿Cuánto pesas?
Alcánzame el libro
Generalizando, diremos que toda frase que tiene
una función de tipo informativa, son frases que se
pueden categorizar, quedando entonces fuera todas
aquellas frases que cumplen una función de transmitir
una orden o directriz y las que se utilizan con una función
expresiva.
Si se analiza gramaticalmente una frase o expresión
del lenguaje cotidiano, veremos que éstas pueden
clasificarse como frases simples o compuestas.
Las frases simples constan de un sujeto y un
predicado. Las frases compuestas se conforman a
partir de las frases simples unidas por elementos
gramaticales especiales que las asocian (conjunciones).
Toda frase simple puede evaluarse como verdadera o
falsa.
Como primera medida tendiente a lograr un lenguaje
aún más preciso, se acuerda adoptar una nueva
terminología y representación o simbología asociada.
Esto es, llamar:
• A las frases: enunciados o proposiciones (ya
sea simples o compuestos según corresponda)
• A los elementos gramaticales que unen a las
frases simples: conectivos
Y establecer como símbolos:
• Para representar los enunciados (frases simples
o compuestas): las letras mayúsculas
• Para representar los conectivos: símbolos tales
como(
, , , , ⇒ ⇔∧ ∨ ¬
)
Cuando un enunciado del lenguaje natural se
representa por medio de la simbología asociada, lo que
queda bosquejado es la estructura o esqueleto lógico del
mismo; es decir, la “forma” que tiene dicho enunciado o
conjunto de enunciados. Dicha forma es la que nos va a
permitir realizar nuestras deducciones sin tener en
cuenta el significado asociado.
EVALUACIÓN DE LOS ENUNCIADOS
En la Lógica Formal se estudian los principios y
métodos a través de los cuales podemos determinar la
validez de argumentos, desde el punto de vista
solamente de su estructura, sin tomar en cuenta el
contenido semántico de las expresiones de los
argumentos. De esta manera si se argumenta que:
• Todos los majadíes son de Majadistán
• Rudistein es Majadí
• En consecuencia, Rudistein es de Majadistán.
En este argumento, no se toma en cuenta si los
majadíes son humanos, perros, pericos o un concepto
abstracto de cualquier área.
Tampoco importa si Rudinstein es un ciudadano de
alguna ciudad del mundo o si es el nombre de un perro.
De esta manera desde el punto de vista de su estructura
este argumento es válido.
1
MÓDULO DE LÓGICA PROPOSICIONAL
4° SECUNDARIA – Doc. Alfredo Vásquez
Se hace hincapié que la Lógica no se hace
responsable de su aplicación a nivel semántico.
Se puede decir que la Lógica es una herramienta
para el análisis de la veracidad de argumentos en base
sólo a la estructura de éstos, donde el significado de los
elementos que intervienen no es tomado en cuenta.
Proposición es el significado de toda oración
declarativa con sentido a la que puede atribuirse un
valor veritativo (verdadero o falso para la lógica
Bivalente). Es la explicitación del juicio.
Las características a tomar en cuenta cuando
trabajemos con proposiciones son las siguientes:
 Es el significado o contenido de una
oración declarativa porque distintas oraciones
pueden contener una misma proposición.
 La oración que la expresa debe tener
sentido, comprendida por una comunidad de
hablantes.
 Al ser una oración declarativa, la
proposición, su estructura gramatical debe tener
Sujeto (S) y Predicado (P).
 Algunas oraciones aseverativas llevan el
sujeto implícito, sin por ello dejar de contener
efectivas proposiciones.
 Al afirmar o negar algo de algo, a toda la
proposición puede atribuirse un sólo valor veritativo:
V ó F.
 No es condición necesaria saber con
exactitud el valor de verdad de una proposición
cuando es anunciada, lo importante es que se le
asuma con un valor de verdad cuando se le anuncia.
Ejemplos:
1. Las oraciones siguientes contienen la misma
proposición:
a) “Julian es amigo de Alfredo”
b) “Alfredo es amigo de Julian”
c) “Julian y Alfredo son amigos”
2. La siguiente proposición presenta estructura
gramatical:
a) “Ricardo trabaja duramente”
3. Oración con sujeto implícito:
En el enunciado: “Si llueve entonces no iré a la
playa” contiene dos proposiciones a saber:
a) “llueve”, donde el sujeto implícito es
“hoy”
b) “iré a la playa”, donde “yo” es el sujeto
implícito.
4. Atribuir un solo valor veritativo: V ó F en:
a) “La materia no se crea ni se destruye”
b) “Dios no creó el universo”
c) “El buen profesor es aquel que sabe
enseñar”
d) “Aristóteles creó la lógica formal”
e) “Los millonarios tienen dinero”
5. Proposición en donde no se sabe con exactitud
dicho valor:
a) “El hombre llegará a otra galaxia en el
2 020”
Las proposiciones se clasifican, teniendo en cuenta
ciertos criterios, como:
A) Según su cantidad:
- Universales.
- Particulares
- Singulares.
B) Según su calidad (o
cualidad)
- Afirmativas.
- Negativas.
C) Según su modalidad:
- Asertóricas
(Empíricas; Sintéticas; Contingentes).
- Apodícticas
(Necesarias; Forzosas)
- Problemáticas
(Plausibles o Probables)
PROPOSICIONES POR SU COMPLEJIDAD
La Lógica Proposicional clasifica a las proposiciones
según tengan o no operador lógico.
Según nuestro criterio adoptaremos el estudio de 9
operadores, que denotamos a continuación:
1) El negador: “…no …” (operador monádico)
( ) ¬
2) El conjuntor: “…y …” ( ) ∧
3) El disyuntor incluyente: “ … o …” (en sentido
incluyente) ( ) ∨
4) El disyuntor excluyente: “ o …o ….” ( ) ⊕
5) El implicador: “Si … entonces …” ( ) ; → ⇒
6) El replicador: “ …. si ….” ; “…. porque ….”
( ) ←
7) El biimplicador: “… si y sólo si ….” ( ) ; ↔ ⇔
8) El inalternador: “ni … ni ….”
( )

9) El incompatibilizador: “no … o no ….” ( ) /
Las proposiciones simples o atómicas, son aquellas que
no tienen operador alguno. Ejemplo:
(1) “Cada gobernante es político”
2
Operadores Lógicos: Llamados también
“constantes lógicas”, “conectivas”,
“funcktores”, “términos de enlace”; etc. Son
todos aquellos términos que sirven de enlace
entre proposiciones o le cambian el sentido de
LA PROPOSICIÓN
PROPOSICIONES
COMPUESTAS SIMPLES
CONECTORES
LÓGICOS NOMBRE DE
ACUERDO AL
CONECTOR
NO SI
TIENE
(2) “La lógica en el RNC es interesante”
Las proposiciones compuestas o moleculares, tienen uno
o más operadores. De acuerdo al operador principal se
clasifican en:
- Negativas (Simple:
cuando la negación va en el verbo; Compleja: la
negación va al inicio y por Prefijo: Si al término del
predicado es antecedido por un prefijo) Ejemplos:
(1) “Los
quelonios no son batracios”
(2) “Es falso
que CEPUNT sea un colegio”
(3) “Montesinos
es considerado un amoral”
- Conjuntivas. Si
tienen el operador diádico: “…. y ….” (conjuntor). Se
presentan los siguientes casos:
(1) “EEUU
invadió Irak e Israel atacó Palestina”
(2) “Boecio e
incluso Boole fueron lógicos”
(3) “Los tigres
son carnívoros y mamíferos”
(4) “Los felinos
y los carnívoros son mamíferos”
(5) “Che
Guevara fue escritor, político y revolucionario”
- Disyuntivas
Incluyentes. Si tienen el operador diádico: “ …. o
….” (alternador o disyuntor)
(1) “Las
ciencias formales son abstractas salvo que la
lógica sea una ciencia ”
(2) “La filosofía
o la biología son ciencias exactas”
(3) “Los virus
son causantes de enfermedades o ayudan al
organismo”
(4) Los
peruanos o los ecuatorianos son belicistas o
son patriotas”
(5) “Montesquie
u fue escritor, revolucionario o periodista”
- Disyuntivas
Excluyentes. Si tienen el operador diádico: “…. o
….” (exclusor) en sentido excluyente, es decir que
ambas proposiciones que la componen no pueden
ser verdaderas al mismo tiempo.
(1) “o la
astrología es una ciencia o es una farsa”
(2) “Alfredo es
magíster o sólo licenciado”
(3) “Francia se
ubica en América o Europa”
- Implicativas. Si
tienen el operador diádico: “si …. entonces……”
(condicional). Se caracteriza por tener dos
proposiciones. A la primera se le llama antecedente
y a la segunda consecuente. Al antecedente también
se le conoce como condición suficiente. Al
consecuente también se le conoce como condición
necesaria.
(1) “Si hay
inflación entonces hay desempleo”
(2) “Para ser
científico es necesario tener formación
epistemológica”
(3) “Es
suficiente abogado para ser juez”
(4) “Condición
necesaria para ser juez es ser abogado”
- Replicativas. Si
tienen el operador diádico: “… si ….” (condicional
indirecta). Presenta las siguientes características:
Tiene dos proposiciones. A la primera se le llama
consecuente y a la segunda antecedente. Es lo
contrario de las implicativas.
(1) “Democraci
a es libertad porque hay libre pensamiento”
(2) “Para ser
candidato es suficiente ser ciudadano”
(3) “Es
necesario ser candidato para ser ciudadano”
(4) “Condición
suficiente para ser profesional es estudiar una
carrera”
- Biimplicativas. Si
tiene el operador diádico: “ …. si y sólo si …..”
(Equivalorativas)
(1) “Existe la
injusticia si y sólo si hay abuso social”
(2) “Para ser
poeta es suficiente y necesario tener
sensibilidad social”
- Inalternativas. Si
tiene el operador diádico: “ni …. ni…..”
(1) “En China
ni hay democracia ni hay justicia”
- Incompatibles. Si
tiene el operador diádico: “no …. o no …..”
(1) “Los pulpos
no respiran por branquias o no son terrestres”
TRADUCCIONES VERBALES DE LOS OPERADORES.
Son los términos sinónimos de los operadores lógicos.
3
NEGADOR
; ¬ :
“es falso que A”
“es absurdo que
A”
“es mentira que
A”
“es inconcebible
que A”
“es negable que
CONJUNTOR
; . ; ∧ I
“A pero B”
“A sin embargo B”
“A tanto como B”
“A también B”
“A al igual que B”
“no solo A también B”
“A no obstante B”;
DISYUNTOR
INCLUYENTE
; ∨ U
“A o también B”
“A a no ser que B”
“A y/o B”
“A o bien B”
“A ya bien B”
“A excepto que B”
“A a menos que
B”
IIMPLICADOR
; → ⇒
“A implica a B”
“A por lo tanto B”
“A luego B”
“A consecuentemente
B”
“ya que A entonces B”
“A es condición
suficiente para B”
“para A es condición
Ejemplos:
1. De los siguientes proposiciones:
1) Martha irá a la fiesta
de promoción pero en diciembre.
2) El Perú es
democrático o de lo contrario oprimido.
3) Es mentira que
nunca los militares abusaron del pueblo.
4) Si es cierto que
Manuel resultó campeón del torneo de karate.
5)
Si
el
viento sopla, me abrigaré para no contraer
enfermedades.
Son simples:
(a) 1; 3 y 5 (b) 2; 3 y 4 (c) Sólo 1
(d) Sólo 1 y 4 (e) Sólo 4
VERDAD FORMAL
Esta referido a la determinación de la función de
verdad de un esquema molecular cualquiera. Para ello
es necesario conocer:
- Las reglas de
operación
- La jerarquía de los
conectores y de los signos de agrupación.
REGLAS DE OPERACIÓN
Mencionaremos lo más resaltante de las reglas de
operación. Veamos:
El Negador: Si es
V
, luego
V F · :
El Conjuntor: Sólo
V V V ∧ ·
, en los demás casos es
F
El Disyuntor Incluyente: Sólo
F F F ∨ ·
, en los demás
casos es
V
El Inalternador: Sólo
F F V ↓ ·
, en los demás casos es
F
El Incompatibilizador: Sólo
/ V V F ·
, en los demás casos
es
V
El Implicador: Sólo
V F F → ·
, en los demás casos es
V
El Biimplicador: Sólo
F F V ↔ ·
ó
V V V ↔ ·
en
los demás casos es
F
El Disyuntor Excluyente: Sólo
V F V ⊗ ·
ó
F V V ⊗ ·
JERARQUÍA DE CONECTORES Y SIGNOS DE
AGRUPACIÓN
Se utiliza para determinar el tipo de esquema molecular
además para determinar el orden en que se desarrollará
el cálculo matricial.
Jerarquía de Conectores:
Menor
jerarquía
( ) ; ; ; ; ; ó ∧ ∨ → ← ⊗ ↔ : Mayor
Jerarquía
Jerarquía de los signos de Agrupación:
Menor jerarquía
( ) [ ] { }
; ;
Mayor Jerarquía
LA TABLA DE VERDAD
Para determinar la función de verdad de un esquema
molecular, debemos usar la Tabla de verdad:
}
( ) p q p q
V V F V V
V F F V F
F V V V V
F F V F F

¹
¹
¹
¹
¹ ¹
' ;
¹ ¹
¹ ¹
¹
¹
647 48
:
4
REPLICADOR
; ← ⇐
“A es implicado por B”
“A si B”
“A ya que B”
“A puesto que B”
“A dado que B”
“A con tal de que B”
“A cada vez que B”
“A con la condición de
que B”
“A es condición
DISYUNTOR
EXCLUYENTE
; ∨ ⊗
“A o sólo B”
“A o solamente B”
“A o únicamente
B”
“A excepto que
B”
BIIMPLICADOR
; ⇔ ↔
“A siempre y cuando B”
“A es condición suficiente y
necesaria para B”
“A porque y solamente si B”
“A es suficiente y B también”
“Sólo si A entonces B”
INCOMPATIBILIZAD
OR /
“No A excepto que no
B”
INALTERNADOR

“No A y no B”
Combinacione
s
Variables
Cálculo de
verdad
Esquema
Molecular
Nota: los demás operadores se formalizan de acuerdo a su significado, en los casos tal y como se presentó en temas
anteriores.
• Variables: Son aquellas letras que están
presentes en el esquema molecular.
• Esquema molecular: Es la fórmula que
representa a una proposición molecular cualquiera.
Debe ser una fórmula bien formada (fbf).
• Cálculo de verdad: Se efectúa el cálculo de
verdad del esquema molecular siguiendo las reglas
de operación para cada conector presente y
respetando la jerarquía de conectores y de signos
de agrupación. El cálculo de la función de verdad se
hace en el cuadrante inferior derecho.
• Combinaciones: Para determinar el número de
combinaciones, contamos el número de variables
presentes (n) seguidamente efectuamos la
operación:
2
n
, el resultado de esta operación será
la cantidad de combinaciones que debemos realizar.
Las combinaciones se escriben de derecha a
izquierda. Primero de uno en uno, luego de 2 en 2,
seguidamente de 4 en 4 y así sucesivamente.
TIPOS DE ESQUEMAS MOLECULARES
A) De acuerdo a la Matriz Final.
- Tautológico.
Cuando todos los valores de las combinaciones
presentes son verdaderos en la matriz final.
- Contradictorio.
Cuando todos los valores de las combinaciones
presentes son falsos en la matriz final.
- Contingente.
Cuando hay por lo menos un valor verdadero y
por lo menos un valor falso en las
combinaciones presentes de la matriz final.
B) De acuerdo al operador principal.
- Negativo. Cuando el
operador principal es el negador.
- Conjuntivo. Cuando
el operador principal es el conjuntor.
- Implicativo. Cuando
el operador principal es el implicador.
PROBLEMAS DE APLICACIÓN
1) S
abiendo que:
( ) ( ) ( ) ; ; v p V v q F v r F · · · , entonces
los valores de verdad de:
I) ( ) ( ) p q r r ∨ → ∧ : :
II) ( ) ( ) p q q r → ↔ ∨
III) ( ) ( ) r p p q ∨ ∆ ∧ : : , son respectivamente
(a) FFF (b) VFF (c) VVV
(d) VFV (e) VVF
2) S
i la proposición compuesta
( ) ( ) p q p r ∧ → → : es falsa, ¿cuál es el valor
de verdad de las proposiciones
, , p q r
,
respectivamente?
(a) VFF (b) FFV (c) VVV
(d) FFF (e) FVV
3) S
ean las proposiciones:
p: Moyabamba es la capital del departamento de
San Martín
q: Juliaca es una ciudad cuzqueña
r: La pampilla se encuentra en el departamento de
Piura.
Y, dadas las siguientes fórmulas:
I. ( ) ( )
p q r p ∧ ∨ ↓ : : :
II. ( ) p q r p ← ↔ ∧ 1
¸ ]
: : :
III. ( ) / p q r p ⊗ ⊗ 1
¸ ]
: :
¿Cuáles de ellas son verdaderas?
(a) Sólo I (b) Sólo II (c) Sólo III
(d) I y II (e) I; II y III
4) S
i el siguiente esquema molecular es falso:
( ) ( )
p q r s ∨ ← ↓ : : ; La función de verdad de
cada una de las variables, es respectivamente:
(a) VFFV (b) FVVF (c) VVVF
(d) FFFV (e) VFVF
5) S
i ∨
( p ) = V y ∨( q ) = F; Hallar el valor de verdad de:
∼ [ q ∧( p ∨∼ q ) → ∼ ( p ∧q ) ]
(a) Verdadero (b) Falso
(c) No se puede determinar
6) D
eterminar el valor de verdad de la proposición p y q
Si: ∼ p ∨∼ q ≡ F; ( p ∧q ) ↔ ( p ∨q) ≡ V
(a) Verdadero (b) Falso
(c) No se puede determinar
7) D
emuestre que la siguiente implicación es una
tautología: [ ( ∼ p ∨q ) ∧∼ q ] → ∼ p
8) S
i la proposición formal
p q ∨
es falsa lógicamente,
luego la proposición siempre verdadera no es:
(a)
p q ∨ :
(b)
p q ∨ : :
(c)
p q → :
(d)
q p ∨ :
5
De acuerdo al operador principal, existen tantos
tipos de esquemas como operadores.
(e)
q p → : :
9) S
i:
p: 1 es un número primo.
q: 2 es un número primo.
r:
9 16 9 16 + · +
s: ( )
2
2 2
2 3 2 3 + · +
Determinar el valor de verdad de:
( ) ( ) ( ) p s q r s → ↔ ∨ ∧ 1
¸ ]
: :
(a) Verdadero (b) Falso
(c) No se puede determinar
10) ¿
Cuál de los razonamientos no es una fórmula
proposicional tautológica?
(a) si
p q y p → : :
, luego
q
(b) si
p q y q ↔
, luego
p
(c) si
p q y p ↔ : :
, luego
q
(d) si
p q y q ∨ : : :
, luego
p
(e) si p q y q ⊗ : : : luego
p
11) L
a función de verdad principal de la fórmula
proposicional:
( ) / p q p 1 ↓
¸ ]
: : : : , es:
1) 1111 2) 0000 3) 1000 4) 1100 5) 1001
Son ciertas:
(a) Sólo 1 (b) Sólo 2 (c) Sólo 3
(d) Sólo 4 (e) Sólo 5
12) S
ean las proposiciones:
p: Helsinki es la capital del país de Findalandia.
q: El peso es la moneda de México.
r: La Pampilla se encuentra en el departamento de
Piura.
Y dadas las siguientes fórmulas:
I. ( ) ( )
p q r p ∧ ∨ ↓ : : :
II. ( ) p q r p ← ↔ ∧ 1
¸ ]
: : :
III. ( ) / p q r p ⊗ ⊗ 1
¸ ]
: :
¿Cuál de ellas son verdaderas?
(a) Sólo 1 (b) Sólo 2 (c) II y III
(d) I y II (e) Todas.
13) S
i el siguiente esquema molecular
( ) ( )
p q r s ∨ ← ↓ : :
es falso; la función de
verdad de cada una de las variables es
respectivamente:
(a) 1001 (b) 0001 (c) 0110 (d) 1110 (e) 1010
14) S
ean las variables:
p: La lógica no es una ciencia factual.
q: La lógica formal estudia la validez de los
razonamientos.
r: La matemática es una ciencia factual.
s: Capital de Beirut el Líbano.
Luego los esquemas siguientes:
I. ( ) ( ) p q p r → ⊗ ↔ : :
II. ( ) / q p q r ← ← 1
¸ ]
: : :
III. ( ) ( ) p q r s r ∧ ∨ ∨ → 1
¸ ]
: :
Tienen como valores de verdad:
(a) VVV (b) FVF (c) FFF (d) VFV (e) VVF
15) D
e los siguientes esquemas formales:
I. ( ) ( ) p q p q → ∨ ↔ : : :
II. ( ) / q p q p ← ⊗ 1
¸ ]
: : :
III. ( ) ( ) p q q p q ∧ ∨ ⊗ → 1
¸ ]
: :
¿Cuáles de ellos tienen matriz principal tautológica?
(a) Sólo 1 y 2 (b) Sólo 1 y 3 (c) Sólo 2 y 3
(d) Todos (e) Ninguno
16) S
i la proposición:
( ) ( ) m n p q r ∧ → ∧ → 1
¸ ]
:
es falsa, el valor
de verdad de:
( ) ( ) m p q r n → → → ∧ 1
¸ ]
(a) Verdadero (b) Falso
(c) No se puede determinar
DEMOSTRACIONES
17) D
emostrar que :
[ ] ( ) p q p q → → → : :
es una tautología.
18) D
adas las proposiciones compuestas:
I. ( ) ( ) p q p q → ∧ ∧ : :
II. ( ) p q ∨ : :
III. ( ) p q ↔ : :
¿Cuáles son equivalentes?
19) S
ean p, q proposiciones:
6
(1) Muestra que
( ) p q p q ∨ ∧ ∧ : :
, es una contradicción.
(2) A partir de la contradicción
anterior construye una proposición tautológica.
(3) Crea otra contradicción a
partir del esquema del item (1), realizando
sustituciones de las proposiciones p y q.
(4) Muestra que
( ) ( ) p q p q → ↔ ∧ : :
, es una tautología.
20) S
ean p, q proposiciones. Justifica por qué las
siguientes proposiciones son tautologías (sin tabla
de verdad)
(1)
p p ∨ : : :
(2) ( ) ( ) p q p q → ∨ → :
(3) El diario se edita todos los
días o no se edita todos los días.
(4) Juan estudia 4 horas diarias
o no estudia 4 horas diarias.
21) D
ado el siguiente esquema formal falso:
( ) ( ) p q q r ↔ ∧ ∨ 1
¸ ]
: : :
. Los valores de p, q
y r son respectivamente:
(a) 110 (b) 000 (c) 101 (d) 001 (e) 010
22) C
uál de los siguientes esquemas son formales
inconsistentes:
I. ( ) A B A ∧ →
II. ( ) A B A → ∨ 1
¸ ]
:
III. ( ) A B A ⊗ → : :
Son ciertas:
(a) Sólo I (b) Sólo II (c) I, II y III
(d) Sólo III (e) I y III

7

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->