. . "propostional functions" . "propostional functions" .