If you are not sure if the website you would like to visit is secure, you can verify it here. Enter the website address of the page and see parts of its content and the thumbnail images on this site. None (if any) dangerous scripts on the referenced page will be executed. Additionally, if the selected site contains subpages, you can verify it (review) in batches containing 5 pages.
favicon.ico: proofs.openlogicproject.org/tfl-exs.html - Truth-Functional Logic sample .

site address: proofs.openlogicproject.org/tfl-exs.html

site title: Truth-Functional Logic sample proof exercises

Our opinion (on Monday 05 October 2026 3:16:12 UTC):

GREEN status (no comments) - no comments

Meta tags:
description=Truth-Functional Logic exercises;
author=;
keywords=logic,proof,deduction;

Headings (most frequently used words):

chapter, exercise, truth, functional, logic, sample, proof, exercises, 15, 17,

Text of the page (most frequently used words):
proof (3), each (2), the (2), following (2), chapter (2), exercise (2), truth (2), functional (2), logic (2), sample (2), exercises (2), return, main, demo, page, prove, proofs, show, give, for, arguments,


Text of the page (random words):
truth functional logic sample proof exercises truth functional logic sample proof exercises chapter 15 exercise c give a proof for each of the following arguments chapter 17 exercise b prove proofs to show each of the following return to main demo page
Thumbnail images (randomly selected): * Images may be subject to copyright.GREEN status (no comments)

    No Images


    Verified site has: 1 subpage(s). Do you want to verify them? Verify pages:

    1-1


    Top 50 hastags from of all verified websites.

    Supplementary Information (add-on for SEO geeks)*- See more on header.verify-www.com

    Header

    HTTP/1.1 200 OK
    Content-Type text/html
    Transfer-Encoding chunked
    Connection close
    X-WS-Origin available
    X-WS-RateLimit-Limit 1000
    X-WS-RateLimit-Remaining 999
    Date Mon, 05 Oct 2026 03:16:12 GMT
    Server Apache
    Last-Modified Sun, 01 Oct 2017 05:22:14 GMT
    ETag W/ 17f6-55a7570d16d80
    Content-Encoding gzip

    Meta Tags

    title="Truth-Functional Logic sample proof exercises"
    charset="utf-8"
    name="description" content="Truth-Functional Logic exercises"
    name="author" content="Kevin C. Klement"
    name="copyright" content="© Kevin C. Klement"
    name="keywords" content="logic,proof,deduction"
    property="og:title" content="Truth-Functional Logic exercises"
    property="og:image" content="sample.png"
    property="og:description" content="Truth-Functional Logic exercises"
    name="robots" content="noindex,nofollow"
    name="viewport" content="width=device-width, initial-scale=1"
    name="apple-mobile-web-app-capable" content="yes"
    name="mobile-web-app-capable" content="yes"

    Load Info

    page size1809
    load time (s)0.296278
    redirect count0
    speed download6111
    server IP 74.208.236.59
    * all occurrences of the string "http://" have been changed to "htt???/"