Lgica matemtica

Que estudia la lgica

matemtica
La lgica matemtica estudia los sistemas formales en relacin con el
modo en el que codifican o definen
nociones intuitivas de objetos
matemticos como conjuntos, nmeros,
demostraciones, y algoritmos, utilizando
un lenguaje formal
La lgica estudia la forma del
razonamiento, es una disciplina que
por medio de reglas y tcnicas
determina si un argumento es vlido.
La lgica es ampliamente aplicada en
la Filosofa, Matemticas, Computacin, Fsica

Que es una proposicin en lgica matemtica

Una proposicin matemtica es una
expresin algebraica que puede
acarrear dos valores: ser verdadera o
ser falsa, aunque nunca ambas a la
vez. Denominadas a travs de letras
minsculas, las proposiciones
matemticas tienen un valor de
verdad (que ser la veracidad o la
falsedad de su enunciado).

Que es una proposicin simple y una proposicin compuesta y

describa 3 ejemplos

PROPOSICIONES SIMPLES: tambin denominadas proposiciones

atmicas. Son aquellas proposiciones que no se pueden dividir.
Ejemplos:
Nada es para siempre.
La msica clsica es la ms antigua del mundo.
Los nmeros pares son divisibles por dos.
 La capital de Rusia es Mosc

PROPOSICIONES COMPUESTAS: tambin denominadas moleculares. Son

aquellas que estn formadas por dos o ms proposiciones simples
unidas por los operadores lgicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jvenes o universitarios.

Si el mircoles prximo me saco la lotera entonces te

regalare un auto.

Define que es el valor de verdad de una proposicin

En lgica, un valor de verdad es un valor que indica en qu medida
una declaracin es verdad. En lgica clsica bivalente los valores de
verdad slo son dos, usualmente designamos verdadero y falso (y a
veces representados por pares como (1,0) o (V,F), etc.). Sin
embargo la lgica polivalente el conjunto de valores de verdad
incluye otras posibilidades, e incluso en lgica modal la descripcin
del valor de verdad requiere la nocin ms compleja de mundos
posibles. En lgica difusa el valor de verdad es cualquier nmero real
en el intervalo cerrado

Que es una tabla de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que
muestra el valor de verdad de una proposicin compuesta, para cada
combinacin de verdad que se pueda asignar.

Tablas de verdad de una, dos y tres proposiciones

Nombre: Nagely Alvarado
CURSO: 3RO BGU E