Diferència entre revisions de la pàgina «Conseqüent»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
m (bot: - el conseqüents és + el conseqüent és) |
||
| Línia 25: | Línia 25: | ||
<math>[(p \rightarrow q) \wedge \neg q] \rightarrow \neg p </math> | <math>[(p \rightarrow q) \wedge \neg q] \rightarrow \neg p </math> | ||
| − | el | + | el conseqüent és ¬p. |
</div></div> | </div></div> | ||
{{Etiqueta}} | {{Etiqueta}} | ||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 20:48, 29 ago 2017
L'expressió lingüística que segueix al «llavors» de la connectiva lògica condicional «si..., llavors...». O la fórmula que segueix al signe [math]\displaystyle{ \rightarrow{} }[/math] en el condicional o implicació
En «Si els taurons fossin homes,
es portarien millor amb els pececitos»
(B. Brecht),
el conseqüent és
«es portarien millor amb els pececitos».
En [math]\displaystyle{ P\rightarrow{}Q }[/math]
el conseqüent és Q,
i en
[math]\displaystyle{ [(p \rightarrow q) \wedge \neg q] \rightarrow \neg p }[/math]
el conseqüent és ¬p.