Question

Trabajo practico logica simbolica siglo 21 !

Answer 1

La lógica es la ciencia que estudia los métodos y principios usados para distinguir razonamientos correctos de los incorrectos. La lógica simbólica es el estudio de la lógica mediante la matemática incorporando exactitud y rigores matemáticos. Este estudio se lleva a otras áreas de la matemática y de las ciencias, teniendo una estrecha relación con la ciencia de la computación y con la ló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 la computabilidad

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 ⇒ “no p“.

2- Conjunción: ∧. Ejemplo: p ∧ q ⇒ “p y q”

3- Disyunción inclusiva: ∨. Ejemplo: p ∨ q ⇒ “p o q“

4- Disyunción exclusiva: ↔. Ejemplo: p↔q ⇒ “si y sólo si p entonces q”

5- Condicional: →. Ejemplo: p→q  ⇒ “si p, entonces q”

6- Bicondicional: ≡. Ejemplo: p≡q ⇒ “p si y sólo si q”

7- Paréntesis que unifican expresiones:  [ (p→q) r ].

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