Preposiciones Lógicas

Proposiciones

Lógicas

Es la expresión lingüistica del juicio cuya característica fundamental es ser verdadero o falso

proposiciones compuestas

proposición condicional

proposición bicondicional

Es compuesta cuando esta integrada por dos o más preposiciones simples conectadas por medio de operadores lógicos

Esta formada por dos preposiciones simples p y q, y se indica de la siguiente manera p→q

Sean p y q dos preposiciones, entonces se puede indicar de la siguiente manera p↔q

En donde la preposición es verdadera si y solo si q también lo es

operador and (y) ∧

operador or (o) (v,+,u)

operador not (no) (', ¬,-,~)

operador or exclusivo (xor)