L.P Kimberly Lucas

LÓGICA PROPOSICIONAL 

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.


CONECTIVAS LÓGICAS

Negación	Conjunción	Disyunción	Condicional	Bicondicional	Disyunción excluyente
${\displaystyle {\begin{array}{c||c}\phi &\neg \phi \\\hline V&F\\F&V\\\end{array}}}$	${\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \land \psi \\\hline V&V&V\\V&F&F\\F&V&F\\F&F&F\\\end{array}}}$	${\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \lor \psi \\\hline V&V&V\\V&F&V\\F&V&V\\F&F&F\\\end{array}}}$	${\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \to \psi \\\hline V&V&V\\V&F&F\\F&V&V\\F&F&V\\\end{array}}}$	${\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \leftrightarrow \psi \\\hline V&V&V\\V&F&F\\F&V&F\\F&F&V\\\end{array}}}$	${\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \nleftrightarrow \psi \\\hline V&V&F\\V&F&V\\F&V&V\\F&F&F\\\end{array}}}$

En este vídeo nos explican las leyes lógicas notables.