1.1 Sección de ejercicios de repaso

Oración declarativa que puede ser verdadera o falsa, pero no ambas

Elemento básico de cualquier teoría lógica

Tabla que enumera todas las posibles combinaciones de los valores de p1... pn donde V denota verdadero y F falso

Tabla que lista todos los valores de las proposiciones.

Es la union de las proposiciones p y q por medio del conector lógico and y se denota ^, que es verdadera únicamente cuando ambas proposiciones p o q son falsas.

Es la union de las proposiciones p y q por medio del conector lógico and y se denota ^, que es verdadera únicamente cuando ambas proposiciones p y q son verdaderas.

Proposición que da como resultado verdadero o falso, en programación se denota &&

Es la union de las proposiciones p y q por medio del conector lógico xor que se denota ∨, es verdadera si p o q(o ambas) sean verdaderas

Es la union de las proposiciones p y q por medio del conector lógico xor que se denota ∨, es verdadera si p y q(o ambas) sean verdaderas

Es la union de las proposiciones p o q por medio del conector lógico xor que se denota ^, es verdadera si p o q(o ambas) sean verdaderas

Es una operación unitaria, se denota ~p, niega la proposición p

Es una operación unitaria, se denota -p, niega la proposición p

Es una operación binaria, se denota ~p, niega la proposición p