Diferència entre revisions de la pàgina «Forma proposicional, forma sentencial»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
m (bot: - alhora», això és, + alhora», és a dir,) |
||
| Línia 7: | Línia 7: | ||
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é ¬(p∧¬p) | 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é ¬(p∧¬p) | ||
| − | 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», | + | 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, ¬[(p∨¬q)∧¬(p∨q)] té igualment la mateixa forma proposicional bàsica. |
</div></div> | </div></div> | ||
Revisió de 13:22, 4 juny 2018
Fórmula lògica composta per una successió de símbols lògics en la qual hi ha variables d'enunciat, de manera que, substituint les variables per enunciats, s'obté un enunciat (compost). Una mateixa forma proposicional pot donar lloc a molts enunciats amb la mateixa forma lògica.
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é ¬(p∧¬p)
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, ¬[(p∨¬q)∧¬(p∨q)] té igualment la mateixa forma proposicional bàsica.
Hi ha formes proposicionals la veritat de les quals és necessària, per raó de la mateixa forma. Així succeeix amb les veritats lògiques o les tautologies.