CALCULO PROPOSICIONAL
Son expresiones lingüísticas que tienen una función informativa, de ellas
tiene sentido decir si son verdaderas o falsas.
1. Ejemplo: Hace calor.
2. Ejemplo: Hoy es miércoles.
3. Ejemplo: Estamos aprendiendo lógica.
4. Ejemplo: hace frio y está lloviendo.
Las expresiones verdaderas o falsas se denominan valores de
verdad de las proposiciones.
Es una proposición que no contiene dentro si ninguna otra
proposición.
1. Ejemplo: El Jueves voy de viaje a Suiza.
2. Ejemplo: Mañana estrenan Barbie.
3. Ejemplo: Hace frio.
Es una proposición compuesta cuando tienen dentro de ella
una o más proposiciones simples donde intervienen términos de enlace.
1. Ejemplo: Estoy en la computadora y estudio.
2. Ejemplo: Aprobé lógica entonces leí el documento.
3. Ejemplo: Si esta soleado entonces hace calor.
Nos permite transmitir el conocimiento de forma clara,
exacta y manipulable por un sistema computacional.
P Q R S… Z se denominan variables proposicionales.
1. Disyunción: P o Q - P a menos que Q - o bien p - o bien Q
2. Conjunción: P y Q - P pero Q - p aunque Q - p a la vez Q - P no obstante Q
3. Condicional: Si A entonces C - A solo si C - A implica C - A es suficiente para C
4. Negación: No p - no es cierto que P - no ocurre que P
, CALCULO PROPOSICIONAL
5. Bicondicional: P si y solo si Q - P es suficiente y necesario para Q
: Las proposiciones se encuentran en lenguaje coloquial, lenguaje mediante
el cual se puede describir intuitivamente el conocimiento del mundo real.
: Es la representación simbólica de una proposición.
: Nos permite simbolizar enunciados de la lógica proposicional.
Hace referencia a los signos del lenguaje objeto.
: la semántica nos informa el significado(V o F) de
las proposiciones del mundo real. Se utilizan tablas de relación entre el significado de las
proposiciones componentes y de la compuesta por cada conectiva, estas tablas son
denominadas tablas de relación.
Si se conocen los valores de certeza de sus
partes se utilizan diagramas de valor de certeza, en cambio, si no se conocen los valores
de verdad de sus partes de utilizan tablas de verdad.
: Si todas las interpretaciones correspondientes a su tabla de verdad son
verdaderas, independientemente de los valores de certeza de las proposiciones.
Si todas las interpretaciones correspondientes a su tabla de verdad
son falsas, independientemente de los valores de certeza de las proposiciones.
Si su tabla de verdad contiene al menos una interpretación verdadera y
una falsa.
: Si A y B son proposiciones compuestas decimos que A implica a B
si y solo si el condicional formado por A como antecedente y B como consecuente, es
Tautológico, para evaluar si una implica a la otra es necesario simbolizarlas y luego
resolver la tabla de verdad que surge de enlazar ambas fórmulas por un condicional, si
resulta Tautológico se puede confirmar que A implica a B, caso contrario no existe tal
implicancia.
: Dos afirmaciones son equivalentes si tienen la misma tabla de verdad o
al componerlas con un bicondicional resulta tautológico.
Son expresiones lingüísticas que tienen una función informativa, de ellas
tiene sentido decir si son verdaderas o falsas.
1. Ejemplo: Hace calor.
2. Ejemplo: Hoy es miércoles.
3. Ejemplo: Estamos aprendiendo lógica.
4. Ejemplo: hace frio y está lloviendo.
Las expresiones verdaderas o falsas se denominan valores de
verdad de las proposiciones.
Es una proposición que no contiene dentro si ninguna otra
proposición.
1. Ejemplo: El Jueves voy de viaje a Suiza.
2. Ejemplo: Mañana estrenan Barbie.
3. Ejemplo: Hace frio.
Es una proposición compuesta cuando tienen dentro de ella
una o más proposiciones simples donde intervienen términos de enlace.
1. Ejemplo: Estoy en la computadora y estudio.
2. Ejemplo: Aprobé lógica entonces leí el documento.
3. Ejemplo: Si esta soleado entonces hace calor.
Nos permite transmitir el conocimiento de forma clara,
exacta y manipulable por un sistema computacional.
P Q R S… Z se denominan variables proposicionales.
1. Disyunción: P o Q - P a menos que Q - o bien p - o bien Q
2. Conjunción: P y Q - P pero Q - p aunque Q - p a la vez Q - P no obstante Q
3. Condicional: Si A entonces C - A solo si C - A implica C - A es suficiente para C
4. Negación: No p - no es cierto que P - no ocurre que P
, CALCULO PROPOSICIONAL
5. Bicondicional: P si y solo si Q - P es suficiente y necesario para Q
: Las proposiciones se encuentran en lenguaje coloquial, lenguaje mediante
el cual se puede describir intuitivamente el conocimiento del mundo real.
: Es la representación simbólica de una proposición.
: Nos permite simbolizar enunciados de la lógica proposicional.
Hace referencia a los signos del lenguaje objeto.
: la semántica nos informa el significado(V o F) de
las proposiciones del mundo real. Se utilizan tablas de relación entre el significado de las
proposiciones componentes y de la compuesta por cada conectiva, estas tablas son
denominadas tablas de relación.
Si se conocen los valores de certeza de sus
partes se utilizan diagramas de valor de certeza, en cambio, si no se conocen los valores
de verdad de sus partes de utilizan tablas de verdad.
: Si todas las interpretaciones correspondientes a su tabla de verdad son
verdaderas, independientemente de los valores de certeza de las proposiciones.
Si todas las interpretaciones correspondientes a su tabla de verdad
son falsas, independientemente de los valores de certeza de las proposiciones.
Si su tabla de verdad contiene al menos una interpretación verdadera y
una falsa.
: Si A y B son proposiciones compuestas decimos que A implica a B
si y solo si el condicional formado por A como antecedente y B como consecuente, es
Tautológico, para evaluar si una implica a la otra es necesario simbolizarlas y luego
resolver la tabla de verdad que surge de enlazar ambas fórmulas por un condicional, si
resulta Tautológico se puede confirmar que A implica a B, caso contrario no existe tal
implicancia.
: Dos afirmaciones son equivalentes si tienen la misma tabla de verdad o
al componerlas con un bicondicional resulta tautológico.
