LEMNISCATA
Matemàtiques
Etiqueta: lògica matemàtica
Etiqueta: lògica matemàtica
Lleis de càlcul proposicional
Una altra manera de validar un raonament sense necessitat de construir constantment taules de veritat és utilitzar les regles d’inferència. Aquestes regles es representen mitjançant un esquema d’inferència o en forma de llei lògica i permeten d’assegurar la correcció formal d’una inferència o raonament. Així, el resultat obtingut és sempre una tautologia. Per això la
Read MoreSímbols de la lògica proposicional
El llenguatge específic de la lògica proposicional conté un vocabulari en el qual és possible distingir-hi dos tipus de símbols: Símbols no lògics Variables: Són lletres llatines minúscules ($p$, $q$, $r$, $s$, $t\dots$) que representen les proposicions.Per exemple: “si véns ara, aleshores t’espero” equival a “si $p$, aleshores $q$”Tenen dos valors de veritat: vertader o
Read MoreLògica proposicional
La frase La Carme és europea conté una informació concreta que, òbviament, pot ser vertadera o falsa. La lògica d’enunciats no te interès en aquest aspecte, és a dir, no analitza si la Carme és o no europea, sinó que en té prou en de considerar que la proposició pot ser vertadera o falsa. Això
Read MoreIntroducció a la lògica matemàtica
Tot i que és cert que per a solucionar els problemes matemàtics hem de raonar, és tant important el raonament en les matemàtiques en general? Per a respondre a aquesta qüestió podem partir de la definició de matemàtica que trobem en el diccionari: La matemàtica és la part de la ciència que, a partir d’unes
Read More