Ero sivun ”Propositiologiikka” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p osioita on {{Kesken}} |
kirjoitusvirheen korjaus 'joss' -> 'jos' |
||
Rivi 165:
'<math>(A \to B)\,\!</math>' mukaan <math>A\,\!</math> on <math>B\,\!</math>:n riittävä edellytys ja <math>B\,\!</math> <math>A\,\!</math>:n välttämätön edellytys.
Ekvivalenssi on tosi
Määritelmien 4 ja 6 perusteella voidaan laskea minkä tahansa propositiolauseen totuusarvo millä tahansa totuusjakaumalla.
| |||