 |
Implikacja logiczna
| Polskojezyczna Wikipedia - wolna encyklopedia | Download this dictionary |
Implikacja logiczna
Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) i jest spełniona, gdy każdy model teorii jest także modelem teorii . Często mylona z implikacją materialną, będącą szczególnym przypadkiem zdania.
| W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg... |
© W niniejszym artykule wykorzystano materialy z Wikipédia® i jest na licencji GNU Free Documentation License, a na licencji licencji Commons Attribution-ShareAlike.
