Diferència entre revisions de la pàgina «Lògica: forma proposicional»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: forma proposicional |...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 19: | Línia 11: | ||
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», això és, <math>¬[(p \vee ¬q) \wedge ¬(p \vee q)]</math> té igualment la mateixa forma proposicional bàsica. | 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», això és, <math>¬[(p \vee ¬q) \wedge ¬(p \vee q)]</math> té igualment la mateixa forma proposicional bàsica. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 14:15, 5 set 2015
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», això és, [math]\displaystyle{ ¬[(p \vee ¬q) \wedge ¬(p \vee q)] }[/math] té igualment la mateixa forma proposicional bàsica.