Diferència entre revisions de la pàgina «Forma proposicional, forma sentencial»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} 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 v...».) |
m (bot: - alhora», això és, + alhora», és a dir,) |
||
| (3 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 3: | Línia 3: | ||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| − | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
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> | ||
| + | |||
| + | |||
Hi ha formes proposicionals la veritat de les quals és necessària, per raó de la mateixa forma. Així succeeix amb les [[veritat lògica|veritats lògiques]] o les [[tautologia|tautologies]]. | Hi ha formes proposicionals la veritat de les quals és necessària, per raó de la mateixa forma. Així succeeix amb les [[veritat lògica|veritats lògiques]] o les [[tautologia|tautologies]]. | ||
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.