Sin título

Lógica general

se divide en

Lógica matemática

Lógica dialectica

estudiada a través de

teoría de conjuntos

Consiste en

También llamada

Lógica simbólica.

Lógica formal.

Estudio y aplicación matemática por medio de reglas y técnicas para determinar si un razonamiento es valido o no.

Nace de la necesidad de pensar y entender el mundo que nos rodea.

Se considera que Aristóteles fue el creador de la lógica.

Funciones de la lógica matemática

- indicar si un conjunto es consistente.

- realizar deducciones de otras proposiciones.

- inferir proposiciones.

Se puede

- resolver problemas

- demostrar leyes

- definir proposiciones

Las proposiciones

Son enunciados coherentes que posee un valor de verdad, verdadero (v) o falso (f).

pueden ser

Contiene variables proposicionales que son el nombre que reciben, por lo general con letras minúsculas.

consta de

Operadores lógicos

Numericas

tipos de proposiciones

Estudia el contenido

linguisticas

Simples (atómicas)

Compuestas (moleculares)

Son aquellas que tienen una única idea, es decir, una sola afirmación.

Son aquellas que tienen 2 o más proposiciones.

Son simbolos que enlazan proposiciones simple para formar compuestas.

Diádicos

Monádico

pueden ser

Negación

- conjunción

- disyunción

- implicación

doble implicación

Se representa en

permite la creación de circuitos logicos

Muestra el valor de verdad de una proposicion compuesta

Tablas de verdad

Se puede llegar a

- Tautología (v)

- Contradicción (f)

- Contingencia (v) y (f)

Mary Yaqueline Patiño Medina

Luz Adriana Roldán Cárdenas

https://matedisunidad3.wordpress.com/

https://ericmat.wordpress.com/2010/06/17/proposiciones-conjunciones-disyunciones-implicaciones/