An example

Spcific known facts:

Paul is allergic to ...

John is allergic to penicillin

Alice is allergic to tetracycline

....

Universally true fact:

All patients allergic to penicillin are also allergic to ampicillin

Problem:

Can we administer ampicillin to John?

Good answer:

"John is also allergic to ampicillin" is a logical consequence of the known facts. It is called an entailement.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica