3.3 Teoria de la demostració - La Salle
3.3 Teoria de la demostració - La Salle
3.3 Teoria de la demostració - La Salle
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
SESSIÓ 2: Sintaxi<br />
FITXA DE LA SESSIÓ<br />
Nom: Sintaxi<br />
Tipus: teòrica<br />
Format: no presencial<br />
Durada: 1 hora<br />
Treball a lliurar: no<br />
OBJECTIUS<br />
Donarem les <strong>de</strong>finicions bàsiques <strong>de</strong>l llenguatge <strong>de</strong>l càlcul proposicional.<br />
CONTINGUTS<br />
2 Càlcul proposicional<br />
2.1 El llenguatge <strong>de</strong>l Càlcul Proposicional<br />
2.1.1 Sintaxi (CP0)<br />
En el càlcul proposicional estem interessats en sentències <strong>de</strong>c<strong>la</strong>ratives que po<strong>de</strong>n ser<br />
certes o falses però no en les dues alhora.<br />
Proposició<br />
Una proposició o àtom és una sentència <strong>de</strong>c<strong>la</strong>rativa que és certa o falsa.<br />
Algunes proposicions són: Joan és enginyer, <strong>La</strong> neu és b<strong>la</strong>nca, Als estudiants <strong>de</strong><br />
lògica els agra<strong>de</strong>n les matemàtiques, ... Usarem les lletres P, Q, R per a notar els<br />
àtoms.<br />
Connectors i prioritat<br />
Amb les proposicions i els connectors po<strong>de</strong>m construir proposicions més complexes i<br />
que expressin més informació. Algunes proposicions complexes són: <strong>La</strong> neu és b<strong>la</strong>nca<br />
i el cel és b<strong>la</strong>u, Si véns a veure’m avui, anirem al cinema, Els homes són alts o són<br />
baixos, ....<br />
En <strong>la</strong> lògica proposicional utilitzarem els connectors següents:<br />
¬ ,<br />
∨,<br />
∧,<br />
→ i<br />
↔<br />
11
Change language