ifletnu

valsi

ifletnu

type

fu'ivla

creator

krtisfranks

time entered

Sat Jul 23 07:44:02 2016  

English

Definition #68844 - Preferred

 

definition

If x₁ (proposition) is true, then x₂ (proposition) is logically guaranteed to be true too, and x₁ is indeed true.

notes

Valid and sound.

gloss words

• modus ponens statement
• satisfied IF
• sound IF

created by

krtisfranks

vote information

1

time

Sat Jul 23 07:44:02 2016

Examples

---