Este documento presenta una introducción a la lógica de enunciados. Explica que la lógica de enunciados analiza la composición de argumentos distinguiendo entre enunciados simples y compuestos. También introduce los conceptos básicos como letras de enunciado, conectivas lógicas, gramática del lenguaje lógico y la diferencia entre enunciados atómicos y moleculares. El objetivo es enseñar al participante a realizar análisis lógicos de argumentos a través de la l
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Mareli Rodríguez Ovalle
Presentación del equipo 4 de la carrera Técnico en Administración para el Emprendimiento Agropecuario, del 5° Semestre, Grupo "A" del C.B.T.a No 88, para nuestra asignatura de Cálculo Integral, impartida por el IC. Gerardo Basurto Martínez.
Esperamos que sea de su apoyo para su formación académica.
Fracciones Parciales/ Segundo Caso/ Denominador con factores de primer grado...Mareli Rodríguez Ovalle
Presentación del equipo 4 de la carrera Técnico en Administración para el Emprendimiento Agropecuario, del 5° Semestre, Grupo "A" del C.B.T.a No 88, para nuestra asignatura de Cálculo Integral, impartida por el IC. Gerardo Basurto Martínez.
Esperamos que sea de su apoyo para su formación académica.
querido profesor hay esta el trabajo
me paresio muy interesante el trabajo
me llamo mucho la atención ya me profundice mucho en el tema.
muchas gracias por su atención.
LA PEDAGOGIA AUTOGESTONARIA EN EL PROCESO DE ENSEÑANZA APRENDIZAJEjecgjv
La Pedagogía Autogestionaria es un enfoque educativo que busca transformar la educación mediante la participación directa de estudiantes, profesores y padres en la gestión de todas las esferas de la vida escolar.
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptxOsiris Urbano
Evaluación de principales hallazgos de la Historia Clínica utiles en la orientación diagnóstica de Hemorragia Digestiva en el abordaje inicial del paciente.
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMJuan Martín Martín
Examen de Selectividad de la EvAU de Geografía de junio de 2023 en Castilla La Mancha. UCLM . (Convocatoria ordinaria)
Más información en el Blog de Geografía de Juan Martín Martín
http://blogdegeografiadejuan.blogspot.com/
Este documento presenta un examen de geografía para el Acceso a la universidad (EVAU). Consta de cuatro secciones. La primera sección ofrece tres ejercicios prácticos sobre paisajes, mapas o hábitats. La segunda sección contiene preguntas teóricas sobre unidades de relieve, transporte o demografía. La tercera sección pide definir conceptos geográficos. La cuarta sección implica identificar elementos geográficos en un mapa. El examen evalúa conocimientos fundamentales de geografía.
2. Sobre los derechos
Esta obra y sus derechos patrimoniales y autorales son propiedad del
autor. La obra se encuentra protegida por la ley de derechos de autor y
sus tratados internacionales, la copia y reproducción total o parcial se
encuentran prohibidas, salvo permiso explícito por parte del autor.
Si usted recibió una copia de este material como parte de un curso en el
cual el instructor es el autor, su uso es de carácter personal y no puede
reproducirla. Es exclusivamente para su estudio.
Si usted recibió una copia por otro docente que no es el autor, se
encuentra en violación de los derechos de autor.
Cualquier violación a los derechos de autor y sus tratados internacionales
podrá ser sancionada conforme a derecho.
3. Objetivo de la unidad
El participante:
• Aprenderá a realizar el análisis lógico de argumentos a través
de la lógica de enunciados o proposiciones.
4. José Luis Cisneros González.
Ingeniero Químico - UAEM, MC- ITESM en Sistemas
Computacionales, Premio Nacional en Fenómenos de Transporte
1984. Miembro del SNI 1988-93.
Investigador, del Instituto de Investigaciones Eléctricas (IIE) y del
Instituto de Ingeniería, UABC.
Director de diversas tesis e investigaciones, y docente en programas
de licenciatura y posgrado.
Consultor de empresas, ha realizado investigaciones y publicado
diversos libros y artículos sobre Tecnologías de la Información y la
Comunicación (TIC’s), Sistemas de Información Gerencial y Bases
de datos.
Actualmente se desempeña como investigador independiente en
Enseñanza Asistida por Computadora (EAC) o Elearning, Sistemas
de información y Reingeniería de procesos y como docente de la
Facultad de Ciencias Administrativas de la UABC en Licenciatura y
Postgrado.
Facilitador
5. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
La lógica de enunciados, recibe ese nombre porque analiza la composición de los argumentos
distinguiendo esencialmente dos tipos de enunciados: los simples o atómicos y los compuestos
o moleculares.
El primer sistema formal completo de lógica de primer orden (en el que encontramos
desarrolladas las llamadas lógica de enunciados y lógica de predicados) se lo debemos al
matemático y filósofo Friedrich Ludwig Gottlob Frege, quien lo desarrolló en su obra
Conceptografía (Begriffsschrift), publicada en 1879.
Podemos decir que el español o castellano, como otros lenguajes naturales, no es exacto, pues
admite ambigüedades, es decir, que una palabra pueda ser usada con más de: un significado,
mientras que, en cambio, el lenguaje de la lógica formal (que es artificial) busca ser riguroso,
exacto y carente de ambigüedades.
La virtud de la lógica de enunciados reside en que puede estudiar la forma de más argumentos
de los que podrían ser analizados con la lógica silogística.
6. Aprender el lenguaje simbólico de la lógica de enunciados (y más adelante el de la lógica
de predicados) es útil para adquirir más habilidades en el manejo del pensamiento
abstracto, pues nos exige apreciar la forma en que estructuramos argumentos más
complejos; nos ayuda a reconocer que dentro de los argumentos hay elementos fijos y
otros variables, y nos permite apreciar que es posible desprendernos del contenido de lo
que hablamos para concentrarnos en la manera en que lo hacemos. Incluso es útil para
acrecentar nuestra competencia en el manejo del idioma, pues enriquece nuestra
comprensión del significado de algunas partículas, como la negación, la conjunción, la
disyunción o el uso de comas, comillas, etcétera.
Aprender a emplear el lenguaje de la lógica de enunciados es como aprender un nuevo
idioma: necesitamos saber cuáles son sus símbolos y cómo construimos enunciados bien
hechos conforme lo dicta su gramática. Veamos el siguiente cuadro comparativo entre el
español y el lenguaje de la lógica de enunciados:
FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
7. Lenguaje Natural (español) Lenguaje artificial de la lógica
Alfabeto (símbolos)
a) Vocales: a, e, i, o, u.
Alfabeto (símbolos)
a) Letras de enunciados o proposicionales
...simples: p, q, r, s,...
b) Consonantes: b, c, d, f, g, h, j, k, l, m, n, ñ,
p, q, r, s, t, v, w, x, y, z.
b) Términos lógicos:
~ (negación)
∧ (conjunción)
c) Signos auxiliares:
. , ; : … ( ) — _ ¡! ¿? “”
∨ (disyunción)
O ⊃ (implicación material)
≡ (equivalencia)
c) Signos auxiliares:
( ) [ ] { }
Reglas de la gramática
1. Los elementos de un enunciado son sujeto, verbo y
complemento.
2. Los nombres propios se escriben con inicial mayúscula.
3. Las palabras que comienzan con las sílabas bu, bur y bus, se
escriben con b, etcétera.
Reglas de la gramática
1. Toda letra de enunciado es una fórmula de nuestro lenguaje lógico.
2. Si A es una fórmula de nuestro lenguaje, las expresiones ~A son fórmulas de
nuestro lenguaje lógico.
3. Si A y B* son fórmulas de nuestro lenguaje, las expresiones A ∧ B, A ∨ B, A ⊃ B, A
≡ B*también lo son.
4. Ninguna otra fórmula, más que las descritas en 1 a 3, son fórmulas de nuestro
lenguaje lógico.
* Observa que las letras mayúsculas A y B representan
cualquier fórmula del lenguaje de la lógica de
enunciados; es decir, pueden ser letras de enunciado
como p, q, r, o la combinación entre letras de
enunciados y conectivas, por ejemplo:
p ∧ q, ~p, etcétera.
FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
8. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
1. Cada una de las letras minúsculas o letras de enunciado representa un enunciado
simple o atómico, que se caracteriza por no contener ningún término lógico. Por lo regular,
y visto desde el lenguaje natural, con una letra de enunciado identificamos una expresión
de la forma sujeto y predicado, que decimos expresa una idea completa.
2. Con excepción de la negación, las restantes conectivas lógicas cumplen la función de
conectar proposiciones o enunciados simples, de tal forma que dan lugar a enunciados
compuestos o también llamados moleculares. Las cinco conectivas lógicas tienen un
significado fijo. También se les conoce con el nombre de funciones de verdad, porque se
definen a partir de la asignación de valores de verdad de los elementos de los enunciados
en los que aparecen.
3. Los signos auxiliares son como los signos de puntuación, que nos sirven para
expresarnos con precisión a través de la escritura, como ocurre en nuestro lenguaje
ordinario.
4. La gramática de los lenguajes formales está compuesta de unas cuantas reglas muy
precisas, en contraste con las reglas gramaticales de los lenguajes naturales, que no sólo
son extensas, sino que en ocasiones admiten excepciones, y por ello convierten la
práctica de la gramática correcta en todo un arte.
9. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Ejemplos de fórmulas bien formadas:
a. p
b. p ∧ q
c. ~p
d. ~p ⊃ ~r
e. ~(p ≡ r) ∧ ~q
Analicemos porque están bien formadas
a. p. La regla 1 de la gramática de la lógica de enunciados lo autoriza, puesto que se
trata de una letra de enunciado.
b. p ∧ q. Lo autoriza la regla 3 de la gramática de la lógica de enunciados, puesto
que se trata de un caso o instancia de la forma “A ∧ B”..
c. ~p. Lo autoriza la regla 2 de la gramática de la lógica de enunciados, puesto que
se trata de un caso o instancia de la forma “~A”.
10. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Ejemplos de fórmulas bien formadas:
a. p
b. p ∧ q
c. ~p
d. ~p ⊃ ~r
e. ~(p ≡ r) ∧ ~q
Analicemos porque están bien formadas
d. ~p ⊃ ~r. Las reglas 2 y 3 la convalidan. La regla 2 autoriza que “~p y ~r” sean
buenas fórmulas por que son instancias de la forma “~A”, y la regla 3 autoriza “~p
⊃ ~r” porque son un caso de forma “A ⊃ B”.
e. ~(p ≡ r) ∧ ~q. Es una fórmula bien formada que se apoya en las reglas 2 y 3. La
regla 2 autoriza que “~(p ≡ r) y ~q” sean buenas fórmulas porque son instancias
de la forma “~A”, y la regla 3 autoriza “p ≡ r” debido a que representan un caso de
la forma “A ≡ B”, y “~(p ≡ r) ∧ ~q” es una instancia de “A ∧ B”.
11. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Ejemplos de fórmulas que no están bien formadas:
a. p~
b. pq∧
c. ~ ⊃ p~r
d. ~p ≡ r ~ q
Analicemos porque no están bien formadas
a. p~. No es una fórmula bien formada porque viola la regla 2, pues no conserva la
forma “~A”.
b. pq∧. Viola la regla 3, pues no conserva la forma “A ∧ B”.
c. ~ ⊃ p~r. Viola las reglas 2 y 3: “~ ⊃” no conserva la forma “~A” como dicta la regla
2; y “~ p ~⊃r” no conserva ninguna de las formas estipuladas por la regla 3.
12. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Ejemplos de fórmulas que no están bien formadas:
a. p~
b. pq∧
c. ~ ⊃ p~r
d. ~p ≡ r ~ q
Analicemos porque no están bien formadas
d. ~p ≡ r ~ q. No es una fórmula bien formada, porque aunque “~p ≡ r” sí dan lugar a
una fórmula correcta, al agregar “~q” se convierte en incorrecta, porque la regla 4
la excluye, puesto que ninguna de las reglas de la 1 a la 3 lo permite..
Diferencia entre enunciados simples o atómicos y enunciados compuestos o
moleculares
Un enunciado simple o también llamado atómico expresa una sola idea, por ejemplo: “El
pizarrón es blanco”, “Jorge es alto” Su rasgo más característico, es que carece de
conectivas lógicas
13. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Hay que poner mucha atención en el aprendizaje de las conectivas lógicas, pues no
siempre tenemos las expresiones del español con que las identificamos.
Pensemos por ejemplo en ciertos usos de la expresión “no”, ya que muchos enunciados la
contienen para expresar duda, como al decir: “¿Alicia no hizo este desastre?”
Igual ocurre con la reiteración del “no”, que no pretende estar invirtiendo constantemente
el valor de verdad, sino enfatizar una negación: “NO, no, no, no, esto debe ser un error”.
Estamos ante una conectiva lógica cuando podemos reconocer que la empleamos en el
sentido que estipula su definición formal, la cual estudiaremos en el siguiente tema, donde
ampliaremos la explicación y los ejercicios para su aprendizaje.
Por el momento concentraremos nuestra atención en ejercitarte para distinguir los
enunciados simples o atómicos de los compuestos o moleculares.
14. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Veamos algunos ejemplos de enunciados atómicos:
a) Los jaguares fueron felinos venerados por los mayas.
b) “La niña mirando desde la ventana” es una pintura famosa.
c) El bosque alberga muchas especies animales.
Ahora revisemos ejemplos de enunciados moleculares. Observa los conectivos en
negritas:
a) Rubén Darío es el padre del modernismo y escribió la obra Azul.
b) Si me duermo, entonces no veo la televisión.
c) Tengo jaqueca, o me subió la presión.
15. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Una conectiva lógica es cualquier expresión de una función de verdad, cuyo valor de
verdad se establece de acuerdo con el valor de verdad de las expresiones que la
constituyen. Decimos que una expresión es veritativo-funcional si forma compuestos en
los que basta conocer el valor de verdad de sus partes para saber el valor de verdad del
conjunto. Ya hemos aprendido que existen diversas conectivas lógicas. Aquí revisaremos
con cierta amplitud las siguientes: la negación, la conjunción, la disyunción, el condicional
y el bicondicional.
Aprender a identificar cada conectiva nos ayudará a saber cómo aplicar el lenguaje de la
lógica de enunciados para pasar de un lenguaje escrito en español a su traducción al
lenguaje lógico.
Las conectivas lógicas
16. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Lenguaje relacionado: No, nada, nunca, jamás, ningún, es falso que, no es cierto que, es
incorrecto que, y otros términos similares.
Las conectivas lógicas – La negación
∽ ⊔ ¬Símbolos:.
Tabla de verdad
a ~a
V F
F V
Maneras de leer la negación lógica. Cuando tenemos una
fórmula negada (~a), podemos leerla de cualquiera de las
siguientes maneras:
• No a • No es cierto que a
• No es verdad que a • a, no
• No es el caso que a • No ocurre que a
• Es falso que a
Ejemplos:
a = México consumó su independencia en 1821.
~a = No es cierto que México consumó su independencia en 1821.
V = Verdadero
F = Falso
17. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Las conectivas lógicas – La negación
Tabla de verdad
México consumó su
independencia en 1821
No es cierto que México consumó su
independencia en 1821
Verdadero Falso
Falso Verdadero
Usando nuestro conocimiento de la historia de México, sabemos que de hecho ese
enunciado es verdadero y que por tanto su negación lógica (“No es cierto que México
consumó su independencia en 1821”) da lugar a un enunciado falso..
Es importante subrayar que la negación de un enunciado falso, da lugar a un enunciado
verdadero.
18. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Lenguaje relacionado: Y; también; además; incluso; e; “,”; pero; entre otras expresiones.
Las conectivas lógicas – La conjunción
∙ ∩ ∧Símbolos:.
Tabla de verdad
a b a˄b
V V V
V F F
F V F
F F F
Maneras de leer la conjunción lógica.
• A y B • A además de B
• A pero B • Tanto A como B
• A sin embargo B • A aunque B
Ejemplos:
a = La Independencia de México se festeja el 15 de septiembre.
b = La Revolución Mexicana se festeja el 20 de noviembre .
V = Verdadero
F = Falso
a˄b = La Independencia de México se festeja el 15 de septiembre y la revolución el 20 de
noviembre.
19. CONSTRUCCIÓN DE TABLAS DE VERDAD
En la tabla de verdad de la negación sólo teníamos dos valores, puesto que una fórmula
que por ejemplo represente un enunciado atómico sólo puede tener dos valores:
verdadero o falso. En cambio, en la conectiva de la conjunción relacionamos dos
fórmulas, por ello se duplica la cantidad de valores. Para contemplar todos los valores de
verdad posibles en la relación entre fórmulas, aplicamos la regla 2 𝑛
, sabiendo que 2 es el
número de valores posibles que le corresponden a una sola fórmula (verdadero o falso) y
“n” el número de letras de enunciado presentes en las fórmulas que se estén
relacionando. En este caso tendríamos 22
; por lo tanto, el resultado son 4 valores, lo cual
nos indica el número de filas que tendrá nuestra tabla de verdad.
La colocación de valores en la tabla se ajusta a la convención que estipula comenzar por
los valores verdaderos. Los de la primera fórmula de la izquierda tendrán la mitad de los
valores totales como verdaderos y la otra mitad como falsos. La fórmula siguiente a la
derecha tendrá la mitad de los anteriores hasta concluir el total de valores. En la siguiente
unidad te ejercitarás en la colocación de los valores en su tabla de verdad cuando veamos
el tema de tablas de verdad como método para la demostración de la validez.
20. CONSTRUCCIÓN DE TABLAS DE VERDAD
Ejemplo
Supondremos que tenemos un enunciado con tres variables (p, q, r) que pueden tomar
valores de cierto y falso, así según lo dicho previamente tendremos un conjunto de
valores de 23
= 8, de estos ocho valores para la primera variable 4 deberán ser ciertos y
otros 4 deberán ser falsos. Para la segunda variable los deberá haber 2 valores de cierto y
2 de falso y repetirlos hasta completar la tabla y para la tercera variable deberá haber 1
valor de cierto y un valor de falso y repetirlos hasta completar la tabla. L
Las subsecuentes columnas pertenecen a las operaciones lógicas que involucran a las
variables.
p q r ~p p˄q
V V V F V
V V F F V
V F V F F
V F F F F
F V V V F
F V F V F
F F V V F
F F F V F
21. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Lenguaje relacionado: O, u, o bien, y cualquier otra expresión similar.
Las conectivas lógicas – La disyunción
⋁Símbolos:. disyunción inclusiva Tabla de verdad
a b a˅b
V V V
V F V
F V V
F F F
Maneras de leer la disyunción inclusiva lógica.
• O bien A , o bien B exclusiva
Ejemplos:
a = Iré al cine.
b = Iré al teatro. V = Verdadero
F = Falso
a˅b = Iré al cine o al teatro.
22. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Lenguaje relacionado: O, u, o bien, y cualquier otra expresión similar.
Las conectivas lógicas – La disyunción
Símbolos:. ≢ disyunción exclusiva Tabla de verdad
Maneras de leer la disyunción exclusiva lógica.
• O bien A , o bien B exclusiva
Ejemplos:
a = Manolo esta en España.
b = Manolo esta en México. V = Verdadero
F = Falso
𝑎 ≢ 𝑏 = Manolo o esta en España, o esta en México
a b 𝒂 ≢ b
V V F
V F V
F V V
F F F
23. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Lenguaje relacionado: (Si…, entonces…), (Si…, …), (…, sólo si…) (Los… son…)..
Las conectivas lógicas – La condicional o implicación material
Símbolos:. ⊃ > ⇒ Tabla de verdad
Maneras de leer la condicional lógica:
• Si A entonces B • A, si B
• A es necesaria si se da B • Sólo A si B
• No se da A sin B • No A o B
Ejemplos:
a = Apruebas el examen de ingreso a la universidad.
b = Te regalaré un carro.
V = Verdadero
F = Falso
𝑎 ⇒ 𝑏 = Si apruebas el examen de ingreso a la universidad entonces te regalaré un
carro
a b 𝒂 ⊃ b
V V V
V F F
F V V
F F V
24. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Las conectivas lógicas – La condicional o implicación material
“Si p entonces q”, llamamos antecedente al enunciado que aparece a la izquierda de la
palabra entonces y que en este caso es “p”, y llamamos consecuente al enunciado que
aparece a la derecha de la palabra entonces, en este caso “q”.
Sin embargo, sí hay algo que asevera el enunciado condicional: a saber, la relación que
guardan entre sí, antecedente y consecuente. En otras palabras, que aquello que sea q o el
consecuente, se da al presentarse p o el antecedente. Lo cual es igual a decir que q es
consecuencia de p. Por eso decimos que p es condición suficiente para la presencia de q;
es decir, saber que contamos con p es suficiente para saber que contamos con q. Por otra
parte, si sabemos que contamos con q, en ese caso es necesario que contemos con p. Es
por eso que podemos decir que q es condición necesaria para la presencia de p.
25. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Las conectivas lógicas – La condicional o implicación material
𝒂 ⇒ 𝒃
a es condición suficiente para b
b es condición necesaria para a”
Si un número es divisible entre 4 entonces es divisible entre dos 2
1. La divisibilidad para 4 es condición suficiente para la divisibilidad para 2.
Es suficiente que un número sea divisible entre 4 para que también lo sea
entre 2.
2. La divisibilidad entre 2 es condición necesaria para la divisibilidad entre 4.
Es necesario que un número sea divisible entre 2 para que se divisible entre 4,
pero no es condición suficiente por ejemplo 6 es divisible entre dos pero no
entre 4.
26. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Las conectivas lógicas – La condicional o implicación material
𝒂 ⇒ 𝒃
Enunciación hipotética condicional
Iré a trabajar si me pagan, Si me pagan entonces iré a trabajar, Si voy a
trabajar entonces me pagan, Si no me pagan entonces no iré a trabajar, Si no
voy a trabajar entonces no me pagan.
𝒃 ⇒ 𝒂
~𝒃 ⇒ ~𝒂
~𝒂 ⇒ ~𝒃
La recíproca
La inversa
La contrarecíproca
La normal
27. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Lenguaje relacionado: (Si y sólo si… equivale a…,), (decir… es tanto como decir…),
(decir… es lo mismo que decir …), y otras expresiones análogas
Las conectivas lógicas – La bicondicional o equivalencia material
Símbolos:. = ⟺≡ Tabla de verdad
Maneras de leer la condicional lógica:
• A si y sólo si B • A implica B y B implica A
• A es necesario y suficiente para B • A es lo mismo que B
• No hay diferencia entre decir A o decir B • A siempre y cuando B
Ejemplos:
a = Un triángulo es equilátero.
b = Un triángulo equilátero tiene sus ángulos de igual medida.
V = Verdadero
F = Falso
𝑎 ⟺ 𝑏 = Un triángulo es equilátero si y solo si tiene sus ángulos de igual medida
a b 𝒂 ⟺ b
V V V
V F F
F V F
F F V
28. FORMAS DEDUCTIVAS CON LÓGICA DE ENUNCIADOS
Simples: Expresan una idea simple, sin conectivas lógicas.
Proposiciones simples y compuestas
El valor de verdad de una proposición compuesta depende del valor de verdad de sus
proposiciones simples.
Suponga que a=verdadero, b = falso y c = verdadero.
Compuestas: Formadas por varias proposiciones y tienen una o varias de las conectivas
lógicas.
((𝒂 ∨ 𝒃) ∧ ~𝒄) ⇒ (𝒂 ⇒ 𝒃)Ejemplo:
((𝒗 ∨ 𝒇) ∧ ~𝒗) ⇒ (𝒗 ⇒ 𝒇)
((𝒗 ∨ 𝒇) ∧ ~𝒗) ⇒ (𝒗 ⇒ 𝒇)
v F F
F
V
Primero se substituyen valores y se resuelve para las
conectivas lógicas primarias.
Se obtienen valores para las conectivas lógicas
primarias y se resuelve para el siguiente nivel de
conectivas lógicas hasta llegar al resultado final.