Metallenguatge: diferència entre les revisions
Contingut suprimit Contingut afegit
m Normalitza etiquetes <ref> |
m Correcció tipogràfica: espais sobrants |
||
Línia 53:
[(A → B)∧A] → B pot considerar metallenguatge fa a l'expressió
<nowiki>[[</nowiki>(P/q) → (r∨s)]∧(p/q)<nowiki>]</nowiki> → (r ∨s), on A = (p/q) i B = (r ∨s)
Al seu torn p, q, r, i s, pot simbolitzar qualsevol proposició del llenguatge ordinari. Quan a aquestes variables els donem un contingut semàntic, construïm un model sobre la base d'un càlcul lògic-matemàtic.
| |||