19.05.2013 Views

MATEMÁTICAS - Ministerio de Educación

MATEMÁTICAS - Ministerio de Educación

MATEMÁTICAS - Ministerio de Educación

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Tema 1<br />

Lógica proposicional<br />

CONCEPTOS BÁSICOS<br />

Proposiciones. Valor <strong>de</strong> las proposiciones.<br />

Operadores lógicos. Proposiciones compuestas.<br />

Fórmulas con proposiciones.<br />

Tautología, contradicción e in<strong>de</strong>terminación.<br />

Cuantificadores.<br />

Leyes <strong>de</strong> la lógica.<br />

PROBLEMAS RESUELTOS<br />

1. Estudia mediante una tabla <strong>de</strong> verdad si la siguiente proposición es tautología, contradicción<br />

o in<strong>de</strong>terminación:<br />

[pq∧q']p'<br />

Solución:<br />

Construimos la tabla <strong>de</strong> verdad teniendo en cuenta que tendrá 2 2 = 4 filas y aplicamos las<br />

distintas operaciones entre proposiciones.<br />

p q p' q' pq pq∧q' [pq∧q']p'<br />

V V F F V F V<br />

V F F V F F V<br />

F V V F V F V<br />

F F V V V V V<br />

En la última columna, la que correspon<strong>de</strong> a nuestra proposición, observamos que hemos<br />

obtenido valores <strong>de</strong> verdad para cualesquiera que sean los valores <strong>de</strong> las proposiciones <strong>de</strong><br />

partida, por lo que nos encontramos con una tautología.<br />

2. Si p:”Hoy es martes” y q:”Mañana es jueves” son proposiciones, <strong>de</strong>terminar los días <strong>de</strong> la<br />

semana en que son verda<strong>de</strong>ras las proposiciones siguientes:<br />

a) q∨p<br />

b) pq<br />

.<br />

11

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!