12361538
GoConqr Review
Magnífico mapa mental que describe los principales elementos que componen la lógica proposicional. Si quieres saber que tipos de proposiciones existen, o tal vez te preguntes que es una tautología, te recomendamos descubrirlo aquí.
Mind Map by claudia unad, updated more than 1 year ago
|
Created by claudia unad
over 6 years ago
|
|
Elementos de la logica
proposicional
- Proposiciones
- Se denomina proposicion a
toda expresión verbal,
enunciado o discurso del cual
podemos afirmar,
inequivocadamente que es
verdadero, o falso, pero no
las dos a la vez, se
simbolizan con letras
minisculas, desde la letra p
- Los valores de verdada,
se representan como: V(ó
uno) y F (ó cero)
- Los valores de verdada,
se representan como: V(ó
uno) y F (ó cero)
- Tipo de proposiciones
- son dos
- Atómica o simple
- Son aquellas que no contienen
conjunciones o terminos de
enlace.
- Son aquellas que no contienen
conjunciones o terminos de
enlace.
- Moleculares o compuestas
- Son las formadas por proposiciones atómicas
relacionadas a través de conjunciones o terminos
de enlace
- Son las formadas por proposiciones atómicas
relacionadas a través de conjunciones o terminos
de enlace
- Atómica o simple
- son dos
- Se denomina proposicion a
toda expresión verbal,
enunciado o discurso del cual
podemos afirmar,
inequivocadamente que es
verdadero, o falso, pero no
las dos a la vez, se
simbolizan con letras
minisculas, desde la letra p
- Anexos lógicos y fórmulas lógicas
- La lógica proposicional utiliza distintos
términos de enlace que se hallan
recogidos en la tabla O, siendo p y qdos
proposiciones cualquiera
- Formulas logicas o esquemas proposicionales
- Expresiones en las que figuran letras propsicionales y nexos
logicos.
- Tablas de verdad
- Negación
- la negacion de la porposición p es la preposición ¬p que se
lee "no p" si una preposición p es verdadera, su negacion es
falsa y viceversa
- la negacion de la porposición p es la preposición ¬p que se
lee "no p" si una preposición p es verdadera, su negacion es
falsa y viceversa
- Conjunción
- entre dos proposiciones es
un conector lógico cuyo
valor de la verdad resulta en
cierto sólo si ambas
proposiciones son ciertas, y
en falso de cualquier otra
forma se lee : "pyq" ( p∧q)
- entre dos proposiciones es
un conector lógico cuyo
valor de la verdad resulta en
cierto sólo si ambas
proposiciones son ciertas, y
en falso de cualquier otra
forma se lee : "pyq" ( p∧q)
- Disyunción
inclusiva
- Cuando el valor es la verdad
resulta en falso solo si ambas
proporciones son falsas,y es
cierto, de cualquier otra forma, se
lee "p ó q" (p∨q)
- Cuando el valor es la verdad
resulta en falso solo si ambas
proporciones son falsas,y es
cierto, de cualquier otra forma, se
lee "p ó q" (p∨q)
- Condicional
- la condicional de dos proposiciones es verdadera cuando el
antesedente es falso y el consecuente verdadero o falso,
apareciendo falsa solo en el caso de que el antesedente sea
verdadero y el consecuente falso. se lee "si p, entoces q"
- la condicional de dos proposiciones es verdadera cuando el
antesedente es falso y el consecuente verdadero o falso,
apareciendo falsa solo en el caso de que el antesedente sea
verdadero y el consecuente falso. se lee "si p, entoces q"
- Bicondicional
- Solo es verdadera cuando las dos
proposiciones que la forman tienen el mismo
valor de verdad. se lee: "si y solo si p, entonces q"
- Solo es verdadera cuando las dos
proposiciones que la forman tienen el mismo
valor de verdad. se lee: "si y solo si p, entonces q"
- Disyunción exclusiva
- La disyunción exclusiva de dos proposiciones es
verdadera cunado solo una de las dos
proposiciones componentes es verdadera,
resultando falsa en los otros caso. se lee "p ó q,
pero no ambas"
- La disyunción exclusiva de dos proposiciones es
verdadera cunado solo una de las dos
proposiciones componentes es verdadera,
resultando falsa en los otros caso. se lee "p ó q,
pero no ambas"
- Negación
- Tablas de verdad
- Expresiones en las que figuran letras propsicionales y nexos
logicos.
- La lógica proposicional utiliza distintos
términos de enlace que se hallan
recogidos en la tabla O, siendo p y qdos
proposiciones cualquiera
- Proposiciones tautológicas,contradictorias e indeterminadas
- tautológica
- Cuando siempre es verdadera
independientemente de la verdad o
faisedad de las proposiciones simples
que la constituyen
- Cuando siempre es verdadera
independientemente de la verdad o
faisedad de las proposiciones simples
que la constituyen
- Contradictoria
- Cuando siempre es falsa, con
independencia de la verdad o
falsedad de las proposiciones
simples que la forman.
- Cuando siempre es falsa, con
independencia de la verdad o
falsedad de las proposiciones
simples que la forman.
- Indeterminación
- Cuando en su tabla de
verdad aparecen valores
verdaderos y falsos,de las
proporsiones que la
integran
- Cuando en su tabla de
verdad aparecen valores
verdaderos y falsos,de las
proporsiones que la
integran
- Implicación
- Es cualquier proposicion
condicional que es una tautologia
- Es cualquier proposicion
condicional que es una tautologia
- Equivalencia
- Es toda proposicion
bicondicional que constituye
una tautologia
- Es toda proposicion
bicondicional que constituye
una tautologia
- tautológica
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.