TryLogic is an online tool to test propositional logic formulas. It's inspired by TryHaskell and TryRuby

Yes, you can contribute to the project. Just go to the GitHub page.

Symbol | Char | Shortcuts | e.g. |
---|---|---|---|

Verum | `⊤` | T, 1 | `T` |

Falsum | `⊥` | F, 0 | `⊥` |

Proposition | `p` , `q` ... `z` | `p` | |

Negation | `¬` | !, ~, not | `¬p` |

Implication | `→` | ->, if | `(p→q)` |

Double Implication | `↔` | <->, iif | `(p↔q)` |

Conjunction | `∧` | &, ^, and | `(p∧q)` |

Disjunction | `∨` | v, |, or | `(p∨q)` |

Command | Outputs | e.g. |
---|---|---|

tt (or none) | Truth Table | `p` , `tt p` |

tautology? | Yes or No | `tautology? p` |

contradiction? | Yes or No | `contradiction? p` |

consistent? | Yes or No | `consistent? p` |

compatible? | Yes or No | `compatible? p q` |

consequence? | Yes or No | `consequence? (p→q) p q` |