Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA PROPOSICIONAL, Ejemplo:, . (Negación:, Conjunción:, Doble…
LÓGICA PROPOSICIONAL
Tablas de verdad
Estas tienen diferente tamaño, dependiendo del número de proposiciones.
Para calcular el numero de filas que se debe armar en una tabla de verdad, se utiliza la siguiente expresión:
Es una representación de las combinaciones que se están analizando en cada una de las proposiciones que se presentan.
-
Proposición:
Es toda expresión, oración, frase de la cual se puede decirse si lo que se expresa es verdadero o falso.
Conectivos lógicos:
Cuando las proposiciones son compuestas, se deben utilizar unos símbolos que se denominan conectores lógicos. Los conectores lógicos se colocan en medio de las proposiciones para su comparación y son los siguientes:
-
.
Negación:
La simbología es , y significa "no" todo lo contrario. Si la proposición es (V), este conectivo lo vuelve (F).
Conjunción:
La simbología es , "pero también", la simbología es la condición para este conector lógico es: si al compararse las dos proposiciones son verdaderas, el resultado es verdadero, caso contrario el resultado es falso.
Doble implicación:
La simbología es , y significa "si y solo si". La condición es la siguiente: las dos proposiciones deber ser iguales, quiere decir, que la primera y la segunda proposición deben ser verdaderas o falsas, para que el resultado sea verdadero, caso contrario falso.
Disyunción:
La simbología es y significa "o" con sentido incluyente. Una de las dos proposiciones debe ser (V), para que el resultado de (V), caso contrario es falso. También al compararse las dos proposiciones y si las dos son falas el resultado es falso.
Implicación:
La simbología es también y significa "entonces". al compararse las proposiciones, se debe cumplir la siguiente condición: si la primera proposición es verdadera y la segunda proposición es falsa el resultado es falso, caso contrario es verdadero.
Para colocar los datos en la proposición se divide el total del número de filas para dos, la primera mitad del resultado se coloca en la primera proposición con los calores de verdadero (V) y la segunda mitad con el valor de falso (F).
-
-
-
-
Ejemplo:
-
El cinco es un numero primo: Si es proposición, porque su respuesta es verdadera.
¿Quién es él?: No es una proposición, porque su respuesta no la podemos definir si es verdadera o falsa
-
-
-
-
-
-