Trabajo practico logica simbolica siglo 21 ?

Lalógicaesla ciencia que estudia los métodos y principios usados para distinguir razonamientos correctos de los incorrectos.

Lalógica simbólicaes el estudio de la lógica mediante la matemática incorporando exactitud y rigores matemáticos.

Este estudio se llevaa otras áreas de la matemática y de las ciencias, teniendo una estrecha relacióncon laciencia de la computacióny con lalógica filosófica.

Se suele dividir en cuatro teorías : * Teoría de modelos * Teoría de la demostración * Teoría de conjuntos * Teoría de lacomputabilidad

Los símbolos lógicos son parecidos a lo símbolos algebraicos.

Y es gracias a ellos que esta asignatura se le llama lógica simbólica.

1 - Negación : ~.

Ejemplo : ~p ⇒“nop“.

2 - Conjunción : ∧.

Ejemplo : p ∧ q⇒ “pyq”3 - Disyunción inclusiva : ∨.

Ejemplo : p∨ q ⇒ “poq“4 - Disyunción exclusiva : ↔.

Ejemplo : p↔q ⇒ “si y sólo sipentoncesq”5 - Condicional : →.

Ejemplo : p→q ⇒ “sip, entoncesq”6 - Bicondicional : ≡.

Ejemplo : p≡q ⇒ “psi y sólo siq”7 - Paréntesis que unifican expresiones : [ (p→q) r].

8. Por tanto : ∴ (se utiliza igual que en matemáticas).