Accions

Recurs

Lògica: forma proposicional

De Wikisofia

La revisió el 13:24, 4 juny 2018 per Jaumeortola (discussió | contribucions) (bot: - alhora», això és, + alhora», és a dir,)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

Així, la forma proposicional de l'enunciat «No és possible que plogui i no plogui alhora» és: «No alhora p i no-p», o bé [math]\displaystyle{ ¬(p \wedge ¬p) }[/math]

Substituint les lletres d'enunciat per altres enunciats s'obté enunciats amb igual forma lògica. Si p= riure i ¬p= plorar, l'enunciat serà «no és possible riure i plorar alhora». I encara, l'enunciat «no és veritat que parlem o cantem i no parlem o cantem alhora», és a dir, [math]\displaystyle{ ¬[(p \vee ¬q) \wedge ¬(p \vee q)] }[/math] té igualment la mateixa forma proposicional bàsica.