4033103288

- w języku polskim:

A jest prawdą, jeśli B i C i D są prawdą

-    w logice:

B i C i D => A lub

-    w Prologu:

A B, C, D

warunki wniosek

reguły

B, C, D -

A -EgffigraJ reguły

- symbol implikacji w logice :- - symbol implikacji regułowej w Prologu

T

Prof.. Marek Rudnicki