¿ Cómo se clasifica la lógica proposicional ?
Proposiciones, tablas de verdad
Proposiciones, lógica simbólica
Lógica simbólica, tablas de verdad
Lógica simbólica, lógica proposicional
¿ Cuáles son las tablas de verdad ?
Negación, afirmación, disyunción, condicional, incondicional
Negación, conjunción, disyunción, condicional, incondicional
Negación, conjunción, disyunción, condicional, bicondicional
Afirmación, conjunción, disyunción, condicional, bicondicional
¿ Cuáles son los dos tipos de proposiciones que se reconocen ?
Atómicas, inferencia
Inferencia, moleculares
Cuantificacional, atómicas
Atómicas, moleculares
De los siguientes ejemplos, ¿ cuáles representan las reglas de inferencia?
Modus ponendo ponens (pp), adjunción (ad), ley conmutativa (lc)
Modus tollendo tollens (tt), adjunción (adj), silogismo hipotético (sh)
Modus poniendo ponens (ip), simplificación (s), doble negación (||N)
Modus tollendo ponens (tp), simplificación (s), silogismo hipotético (sh)
¿ Cuáles de los siguientes ejemplos representan a la lógica cuantificacional ?
Ejemplificación universal (EU), generalización universal (GU)
Ejemplificación explicativa (EE), ejemplificación universal (EU)
Generalización universal (GU), ejemplificación explicativa (EE)
Ejemplificación disyuntiva (ED, ejemplificación explicativa (EE)
¿ Qué ejemplos conforman a la lógica matemática?
Lógica universal, lógica de clase, lógica proposicional
Lógica proposicional, lógica cuantificacional, lógica de clase
Lógica proposicional, lógica universal, lógica de clase
Lógica atómica, lógica universal, lógica de clase
¿ cuáles con las funciones de la lógica matemática?
Cálculo de proposiciones, cálculo de cuantificaciones, cálculo de clases
Cálculo de proposiciones, cálculo de funciones, cálculo de clases
Cálculo de cuantificaciones, cálculo de proposiciones, cálculo de clases
Cálculo de átomos, cálculo de funciones, cálculo de proposiciones
¿ Qué tiene por objeto la lógica proposicional?
Demostrar que no se relacionan las proposiciones
Formalizar el lenguaje
Demostrar la validez de un argumento
Demostrar que el lenguaje no se puede formalizar
¿ Cuál Es el primer elemento formalizado del lenguaje ?
Simbolización
Cálculo
Formalización
Proposiciones
¿ Qué es una proposición atómica ? / Michelle Salazar4020
Proposición simple con conetivo lógico
Proposición simple sin conetivo lógico, es sentencial
Proposición simple con conetivo lógico, es sentencial
Proposición simple sin lógica
¿ Qué es una proposición compuesta ?
es una proposición compuesta con un conectivo lógico
es una proposición compuesta sin conectivo lógico
es una proposición simple con conectivo lógico
es una proposición simple sin conectivo lógico
¿ Cuál es la expresión del conetivo lógico de negación ?
...o...
No
No No es cierto
o...o...
¿ Cuál es la expresión del conectivo lógico condicional ?
si...entonces...
...si y solo si...
si...
y
¿ Cuál es la expresión del conectivo lógico conjunción ?
¿ Cuál es el simbolo y la simbolización del conectivo lógico de disyunción incluyente ?
simbolo: ----> simbolización: p ---> q
simbolo: <---> simbolización: p <---> q
simbolo: ^ simbolización: p ^ q
simbolo: v simbolización: p V q
¿ Cuál es el simbolo y la simbolización del conectivo lógico bicondicional ?
simbolo: <----> simbolización: p <---> q
simbolo: ---> simbolización: p ---> q
simbolo: ¬ / ~ simbolización: ¬ p
¿ Cuál es el simbolo y la simbolización del conectivo lógico de negación ?
simbolo: v simbolización: p v q
¿ Cuál es la expresión del conectivo lógico disyunción excluyente ?
...o..
¿Qué conectivo lógico representa el siguiente ejemplo ? Si los coches dejaran gasolina, entonces contaminarían menos
Condicional: p ---> q
Bicondicional: p <---> q
Negación: ~ p
Disyunción incluyente: p v q
Del siguiente ejemplo, ¿ Qué conectivo lógico se esta representando ? Eres esclavo o eres libre
Conjunción: p ^ q
Bicondicional : p <---> q