La lógica Computacional

La lógica es la ciencia formal que estudia los principios de la demostración e inferencia inmediata.

• VERDADERO

• FALSO

Es un enunciado declarativo que puede ser evaluado como FALSO o VERDADERO

¿Cuántas proposiciones simples tiene la proposición compuesta? SI EL VIERNES ES FERIADO ENTONCES VISITARÉ A MI ABUELO Y ME IRÉ A LA PLAYA

Símbolo ~ corresponde al Conectivo Lógico

• NEGACIÓN

• Y

• O

• SI .. ENTONCES ...

¿Cómo se lee la expresión lógica p→q?

• p Y q

• p O q

• SI p ENTONCES q

• NO p ENTONCES NO q

Si P es VERDADERO y Q es FALSO. La expresión lógica P ^ Q es ..

• VERDADERO

• FALSO

Si P es FALSO y Q es FALSO. La expresión lógica P → Q es ..

• VERDADERO

• FALSO